Search

Richard Bubel

The Logic of Software. A Tasting Menu of Formal Methods
Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct

Published with Wowchemy — the free, open source website builder that empowers creators.