Spill: A logic language for writing testable requirements specifications (1997)

by Klu' zniak, F, M Milkowska
Venue:Sci. Comput. Program