Author:
Aguirre Nazareno,Arroyo Marcelo,Bicarregui Juan,Guzmán Lucio,Maibaum Tom
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Abrial, J.-R.: The B-Book, Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Lecture Notes in Computer Science;N. Aguirre,2003
3. Lecture Notes in Computer Science;N. Aguirre,2004
4. Allen, R., Garlan, D.: Formalizing architectural connection. In: Proceedings of the Sixteenth International Conference on Software Engineering, ICSE 1994. IEEE Computer Society Press, Los Alamitos (1994)
5. The B-Toolkit User Manual, B-Core (UK) Limited (1996)