Publisher
Springer Nature Singapore
Reference18 articles.
1. Abran, A., Moore, J.W., Bourque, P., Dupuis, R., Tripp, L.: Software Engineering Body of Knowledge, vol. 25. IEEE Computer Society, Angela Burgess (2004)
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, Cambridge (2010)
3. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);E Börger,2005
4. Bowen, J., Hinchey, M.: Ten commandments of formal methods ...ten years later. Computer 39(1), 40–48 (2006). https://doi.org/10.1109/MC.2006.35
5. Derrick, J., Boiten, E.: Refinement: Semantics, Languages and Applications, vol. 95. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-92711-4