References
Abadi M, Lamport L (1993) Composing Specifications. ACM Transactions on Programming Languages and Systems 15(1):73–132, January 1993
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Bolognesi, T., Derrick, J. Introduction. Softw Syst Model 4, 234–235 (2005). https://doi.org/10.1007/s10270-005-0082-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10270-005-0082-5