Formal methods and software engineering. 13th international conference on formal engineering methods, ICFEM 2011, Durham, UK, October 26‒28, 2011. Proceedings. (English)
Lecture Notes in Computer Science 6991. Berlin: Springer (ISBN 978-3-642-24558-9/pbk). xiv, 670~p. EUR~84.53 (2011).
Start
Contact
Print
General Help
