A method for proving programming languag
β
Stefan Sokolowski
π
Article
π
1978
π
Elsevier Science
π
English
β 377 KB