Run-time consistency checking of algebraic specifications (1991)

by S Sankar
Venue:Proc. of the 1991 International Symposium on Software Testing, Analysis, and Verification (TAV