Software Engineering and Formal Methods 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings

This book constitutes the refereed proceedings of the 9th International Conference on Software Engineering and Formal Methods, SEFM 2011, held in Montevideo, Uruguay, in November 2011. The 22 revised regular papers presented together with 1 short paper, 2 tool papers, and 4 keynote talks were carefu...

Descripción completa

Detalles Bibliográficos
Publicado en:	Springer eBooks.
Autor Corporativo:	SpringerLink (Online service)
Otros Autores:	Barthe, Gilles (Editor ), Pardo, Alberto (Editor ), Schneider, Gerardo (Editor )
Resource Type:	Electronic Resource
Lenguaje:	English
Publicado:	Berlin, Heidelberg Springer Berlin Heidelberg 2011.
Materias:	Software engineering > Congresses. Formal methods (Computer science) > Congresses. Electronic book.
Acceso en línea:	Available for University of the Philippine Diliman via Springerlink. Click here to access

Internet

Available for University of the Philippine Diliman via Springerlink. Click here to access

Main Library: Information Services and Instruction Section (UP Diliman)

Accession #	Call #	Volume/Part#	Copy #	Collection	Circulation Type	Circulation Status
R-2176EB					Non-Circulation	Not Applicable