СТ |
ASIS for GNAT: From the Prototype to the Full Implementation |
1996 |
Rybin S., Strohmeier A., Kuchumov A., Fofanov V. |
Lecture Notes in Computer Science |
|
|
Reliable Software Technologies - Ada-Europe 96 |
09.10.1996 |
СТ |
ASIS-for-GNAT: A Report of Practical Experiences |
2000 |
Rybin S., Strohmeier A., Fofanov V., Kuchumov A. |
|
|
|
Lecture Notes in Computer Science |
29.07.2000 |
СТ |
OASIS - An ASIS Secondary Library for Analizing Object-Oriented Ada Code |
2001 |
Kuchumov A., Rybin S., Strohmeier A. |
|
|
|
Lecture Notes in Computer Science |
10.06.2001 |