|
СТ |
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 |
|
СТ |
Quality-for-ASIS: A Portable Testing Facility for ASIS |
1998 |
Strohmeier A., Fofanov V., Rybin S., Barbey S. |
|
|
|
Lecture Notes in Computer Science |
25.06.1998 |
