The Use of a Formal Simulator to Verify a Simple Real Time Control Program (1990)

by Robert S. Boyer , Milton W. Green , J Strother Moore
Venue:In Beauty Is Our Business
Citations:8 - 4 self