Cover Image
Saved in:

Software engineering and formal methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011 : proceedings /

Bibliographic Details
Corporate Authors: International Conference on Software Engineering and Formal Methods Montevideo, Uruguay), SpringerLink (Online service)
Other Authors: Barthe, Gilles., Pardo, Alberto., Schneider, Gerardo.
Format: Online Conference Proceeding Book
Published: Heidelberg ; New York : Springer-Verlag Berlin Heidelberg, c2011.
Series:Lecture notes in computer science ; 7041.
Online Access:Online version
Tags: Add Tag
No Tags, Be the first to tag this record!