A Hoare-like verification system for a l
β
Danuta Szczepanska
π
Article
π
1991
π
Elsevier Science
π
English
β 577 KB