Using a Verification System to Reason about Post-Completion Errors (2000)

by Paul Curzon , Ann Blandford
Venue:Design, Specification and Verification of Interactive Systems 2000
Citations:2 - 1 self