Test Set Coinduction -- Toward Automated Verification of Behavioural Properties —
Michihiro Matsumoto, Kokichi FutatsugiVolume:
15
Year:
1998
Pages:
21
DOI:
10.1016/s1571-0661(05)80015-5
File:
PDF, 1.28 MB
1998