|
СТ |
SOKRAT: An Environment for Safe and Efficient Programming |
1993 |
Kasyanov V. N., Kuzminov T. V., Pokrovsky S. B., Pottosin I. V., Sabelfeld V. K., Shelekhov V. I., Stepanov G. G., Zakharov L. I. |
|
|
|
CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics |
03.09.1993 |
|
СТ |
Hypertext as a Tool for Software Development |
1993 |
Pokrovsky S. B., Stepanov G. G. |
|
|
|
CSAM 93: Abstracts/Intern. Congress on Computer Systems and Applied Mathematics |
02.09.1993 |
|
СТ |
Schematology in a Multi-Language Optimizer |
1977 |
Kasyanov V. N., Pokrovsky S. B. |
|
|
|
Lecture Notes in Computer Science |
06.04.1993 |
|
СТ |
Hypertext as a Software Development Environment |
1991 |
Pokrovsky S. B., Stepanov G. G. |
|
|
|
Current Topics in Informatics Systems Research |
23.12.1991 |
