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