Proof method of partial correctness and
โ
Gรฉrard Ferrand; Pierre Deransart
๐
Article
๐
1993
๐
Elsevier Science
๐
English
โ 951 KB