Automated Verification . . . Certificates (2009)

by Frédéric Blanqui , Adam Koprowski