Formal Methods and Digital Systems Validation for Airborne Systems. NASA Contractor Report 4551 (1993)

by John Rushby
Venue:PVS Specification Language (Beta Release). Computer Science Laboratory, SRI International, Menlo Park, CA