Publisher
Springer International Publishing
Reference16 articles.
1. Cooke J (1992) Formal methods: mathematics, theory, recipes or what ? Comput J 35(5):419–423
2. de Champeaux D, Lea D, Faure P (1993) Object-oriented system development. Addison Wesley, Boston
3. Dedene G, Snoeck M (1995) Formal deadlock elimination in an object oriented conceptual schema. Data Knowl Eng 15(1):1–30
4. Hoare CAR (1985) Communicating sequential processes, Prentice-Hall International, Series in Computer Science
5. Jackson MA (1983) System development. Prentice Hall, Englewood Cliffs, NJ