Verification oriented approach to concur
β
Marek Gondzio
π
Article
π
1989
π
Elsevier Science
β 793 KB