Tool-Assisted Specification and Verification of Typed Low-Level Languages

Cached

Download Links

by Gilles Barthe , Pierre Courtieu , Guillaume Dufay , Simão Melo de Sousa