Einar W. Karlsen, Bernd Krieg-Brückner, Owen Traynor. The PROSPECTRA System: A Unified Development Framework. In Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo, editors, Algebraic Methodology and Software Technology (AMAST 91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991. Workshops in Computing, pages 421-433, Springer, 1991.
@inproceedings{KarlsenKT91,
title = {The PROSPECTRA System: A Unified Development Framework},
author = {Einar W. Karlsen and Bernd Krieg-Brückner and Owen Traynor},
year = {1991},
researchr = {https://researchr.org/publication/KarlsenKT91},
cites = {0},
citedby = {0},
pages = {421-433},
booktitle = {Algebraic Methodology and Software Technology (AMAST 91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991},
editor = {Maurice Nivat and Charles Rattray and Teodor Rus and Giuseppe Scollo},
series = {Workshops in Computing},
publisher = {Springer},
isbn = {3-540-19797-4},
}