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

by F Kluzniak, Mi lkowska, M
Venue:Sci. Comput. Program