Dear Spiral User, we appreciate your patience during this upgrade which is to benefit our userbase, improve their experience in Spiral, introduce improvements, fixes and maintaining our versioning for future updates. Please note if you encounter any issues in Spiral, please raise a ticket to Research Applications team providing as much detail as possible in order to help us resolve your query. Again, we thank you for your patience and support during the upgrade. Kind Regards, Spiral Upgrade Team.
 
Top-down and step-wise refinement of protocol specifications
File(s)
Author(s)
Li, Da-Hai
Type
Thesis or dissertation
Version
Imperial Users only
Date Issued
1987
Date Awarded
1987
URI
Creator
Li, Da-Hai
Publisher Department
Department of Computing
Publisher Institution
Imperial College London
Qualification Level
Doctoral
Qualification Name
PhD