On verification of programs with goto st
โ
Vladimir Lifschitz
๐
Article
๐
1984
๐
Elsevier Science
๐
English
โ 293 KB