DMCA

Systematic formal verification for fault-tolerant time-triggered algorithms (1999)

by John Rushby
Venue:IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Citations:51 - 2 self