Bruno Barras
-
Convincing Proofs for Program Certification
Electronic Notes in Theoretical Computer Science (ENTCS)
Generating Invariant-Based Certificates for Embedded Systems
ACM Transactions on Embedded Computing Systems (TECS)