Richard Bubel

Latest

• 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