Programs as executable predicates

Bibliografski detalji
Glavni autori: Roscoe, A, Hoare, C
Format: Conference item
Izdano: 1984