Author Search Results

International Conference on Software Engineering and Formal Methods

The ''International Conference on Software Engineering and Formal Methods'' (SEFM) is an international academic conference in the field of software engineering with a specialization in formal methods. Provided by Wikipedia

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

by International Conference on Software Engineering and Formal Methods, Barthe, Gilles., Pardo, Alberto., Schneider, Gerardo.
Published 2011

Get full text

Livro

Software engineering and formal methods 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5, 2012. Proceedings /

by International Conference on Software Engineering and Formal Methods, Eleftherakis, George., Hinchey, Mike., Holcombe, Mike.
Published 2012

Get full text

Livro

International Conference on Software Engineering and Formal Methods

Narrow Search