• SafeProver : A High-Performanc...

Treffer: SafeProver : A High-Performance Verification Tool

Title:
SafeProver : A High-Performance Verification Tool
Authors:
Etienne, Jean-Frédéric, Juppeaux, Eric
Source:
ACM SIGAda Ada Letters. 36(2):47-48
Availability:
http://dl.acm.org/doi/10.1145/3092893.3092901
Database:
ACM Full-Text Collection