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

by Gilles Barthe , Pierre Courtieu , Guillaume Dufay , Simão Melo de Sousa
Citations:1 - 0 self