Consistent and complementary formal theo
β
C. A. R. Hoare; P. E. Lauer
π
Article
π
1974
π
Springer-Verlag
π
English
β 907 KB