Research directions in high-level parallel programming languages : mont Saint-Michel, France, June 17-19, 1991 : proceedings
edited by J.B. Banatre and D. Le Metayer
Springer-Verlag, 1992
Buku Teks
Integrated formal methods: 9th international conference, IFM 2012, Pisa, Italy, June 18-21, 2012 : proceedings
edited by John Derrick
Springer-Verlag, 2012
eBooks
Dimitra Giannakopoulou, editor
FM 2012 : formal methods : 18th International Symposium, Paris, France, August 27-31, 2012 : proceedings
[Springer-Verlag, ], 2012
eBooks
Sannella, Donald
Foundations of algebraic specification and formal software development
Springer-Verlag, 2012
eBooks
Formal aspects of component software : 7th international workshop, FACS 2010, Guimaraes, Portugal, October 14-16, 2010 : revised selected papers
editors, Luis Soares Barbosa, Markus Lumpe
Springer-Verlag, 2012
eBooks