Gerardo Schneider

No bio available. Add one in Open Library.

Books by Gerardo Schneider (50 max)

+ shelf+ list

Formal Methods for Software Engineering Languages, Methods, Application Domains

2020

Markus Roggenbach, Antonio Cerone, Bernd-Holger Schlingloff, Gerardo Schneider, Siraj Ahmed Shaikh

+ shelf+ list

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

2011

Gilles Barthe, Alberto Pardo, Gerardo Schneider