Proof rules for recursive procedures
โ
Wim H. Hesselink
๐
Article
๐
1993
๐
Springer
๐
English
โ 815 KB