Hierarchies of program logics
β
M. A. Taitslin
π
Article
π
1984
π
SP MAIK Nauka/Interperiodica
π
English
β 729 KB