General correctness: A unification of pa
β
Dean Jacobs; David Gries
π
Article
π
1985
π
Springer-Verlag
π
English
β 903 KB