A Three-Valued Logic for Software Specification and Validation.

Beata Konikowska, Andrzej Tarlecki, Andrzej Blikle

Browse the full FM paper archive.