Author:
Hallerstede Stefan,Hasanagić Miran,Krings Sebastian,Larsen Peter Gorm,Leuschel Michael
Publisher
Springer International Publishing
Reference27 articles.
1. Abrial, J.R.: Modeling in Event-B – System and Software Engineering. Cambridge University Press, Cambridge (2010)
2. Back, R.J., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, New York (1998).
https://doi.org/10.1007/978-1-4612-1674-2
3. Bruen, A., Dixon, R.: The n-queens problem. Discrete Math. 12(4), 393–395 (1975)
4. Couto, L.D., Foster, S., Payne, R.J.: Towards verification of constituent systems through automated proof. CoRR abs/1404.7792 (2014)
5. Workshops in Computing;AJJ Dick,1990