SPARK, Correctness by Construction.
Curriculum vitae • Publication list
Jacob Sparre Andersen • Vesterbrogade 148 K • 1620 København V • Danmark
jacob@jacob-sparre.dk • www.jacob-sparre.dk