A Verified Implementation of B

Niels Mndler, Tobias Nipkow

Browse the full ICTAC paper archive.