Sergey Rybin, Alfred Strohmeier, Vasiliy Fofanov, Alexey Kuchumov. ASIS-for-GNAT: A Report of Practical Experiences. In Hubert B. Keller, Erhard Plödereder, editors, Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings. Volume 1845 of Lecture Notes in Computer Science, pages 125-137, Springer, 2000.
@inproceedings{RybinSFK00,
title = {ASIS-for-GNAT: A Report of Practical Experiences},
author = {Sergey Rybin and Alfred Strohmeier and Vasiliy Fofanov and Alexey Kuchumov},
year = {2000},
researchr = {https://researchr.org/publication/RybinSFK00},
cites = {0},
citedby = {0},
pages = {125-137},
booktitle = {Reliable Software Technologies - Ada-Europe 2000, 5th Ada-Europe International Conference, Potsdam, Germany, June 26-30, 2000, Proceedings},
editor = {Hubert B. Keller and Erhard Plödereder},
volume = {1845},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67669-4},
}