Tse-Min Lin, John A. McDermid. (True) Polymorphism in SPARK2000. 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 252-265, Springer, 2000.
@inproceedings{LinM00:2,
title = {(True) Polymorphism in SPARK2000},
author = {Tse-Min Lin and John A. McDermid},
year = {2000},
researchr = {https://researchr.org/publication/LinM00%3A2},
cites = {0},
citedby = {0},
pages = {252-265},
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},
}