Publisher
Springer Nature Switzerland
Reference22 articles.
1. Pedersen, J.S.: Software Development Using VDM. Software Engineering Institute (1989)
2. Jones, C.B., Shaw, R.C.: Case studies in systematic software development. Citeseer (1990)
3. Spivey, J.M.: An introduction to Z and formal specifications. Softw. Eng. J. 4(1), 40–50 (1989)
4. Lecture Notes in Computer Science;J Goguen,1988
5. Goguen, J.A., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. In: Goguen, J., Malcolm, G. (eds.) Software Engineering with OBJ, pp. 3–167. Springer, Boston (2000). https://doi.org/10.1007/978-1-4757-6541-0_1