Publisher
Springer International Publishing
Reference11 articles.
1. Abadi, M., Lamport, L.: Conjoining specifications. ACM Trans. Program. Lang. Syst. 17(3), 507–535 (1995)
2. Abrial, J.-R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York (2010)
3. Communications in Computer and Information Science;C Attiogbé,2008
4. Lecture Notes in Computer Science;M Butler,2005
5. Chen, B., Sadaoui, S.: Simulation and verification of a dynamic online auction. In: IASTED Conference on Software Engineering - SEA 2003 (2003)