Author:
Smith Graeme,Duke David J.
Publisher
Springer International Publishing
Reference90 articles.
1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, New York (1996)
2. Abrial, J.R.: Modeling in Event-B: System and Software Engineering. Cambridge University Press, New York (2010)
3. Abrial, J.R., Schuman, S., Meyer, B.: Specification language. In: McKeag, R., Macnaghten, A. (eds.) On the Construction of Programs: An Advanced Course. Cambridge University Press, New York (1980)
4. Lecture Notes in Computer Science;AJ Alencar,1991
5. Lecture Notes in Computer Science;N Amálio,2003