Three-valued predicates for software specification and validation (1991)

by A Blikle
Venue:Fundamenta Informaticae