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