Computer-aided verification (1996)

Cached

Download Links

by Robert P. Kurshan
Venue:IEEE Spectrum
Citations:95 - 2 self