Automated proofs of program correctness

SPARK, Correctness by Construction.


Curriculum vitaePublication list

Jacob Sparre Andersen • Vesterbrogade 148 K • 1620 København V • Danmark

jacob@jacob-sparre.dkwww.jacob-sparre.dk