Abstract Analysis with Aspect (1993)

by Daniel Jackson
Venue:Proc. International Symposium on Software Testing and Analysis