Hierarchies of program logics
✍
M. A. Taitslin
📂
Article
📅
1984
🏛
SP MAIK Nauka/Interperiodica
🌐
English
⚖ 729 KB