Publisher
Springer Nature Singapore
Reference50 articles.
1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Lecture Notes in Computer Science;EP Andersen,1992
4. Lecture Notes in Computer Science;RJR Back,1994
5. Bell, M.: Service-Oriented Modeling: Service Analysis, Design, and Architecture. Wiley, Hoboken (2008)