Towards verification of C# programs: A t
✍
V. A. Nepomniaschy; I. S. Anureev; I. V. Dubranovskii; A. V. Promsky
📂
Article
📅
2006
🏛
SP MAIK Nauka/Interperiodica
🌐
English
⚖ 217 KB