Gerardo Schneider

Gerardo Schneider

Books

Co-authored books and collections

Books that list Gerardo Schneider among their authors but not as the lead author: co-written works, collections and compilations.

Formal Methods for Software EngineeringMarkus Roggenbach

Formal Methods for Software Engineering

Markus Roggenbach · 2023

Software Engineering and Formal MethodsGilles Barthe

Software Engineering and Formal Methods

Gilles Barthe · 2011