Projects with this topic
Sort by:
-
Some solutions to the exercises from the excellent book "Program Proofs" by K. Rustan M. Leino in SPARK 2014.
Updated -
Prototype package specification for Fedora Linux.
Updated -
Prototype package specification for Fedora Linux.
Updated