Perry Alexander, Roshan Kamath, David Barton. System Specification in Rosetta. In 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK. pages 299-307, IEEE Computer Society, 2000. [doi]
@inproceedings{AlexanderKB00,
title = {System Specification in Rosetta},
author = {Perry Alexander and Roshan Kamath and David Barton},
year = {2000},
url = {http://csdl.computer.org/comp/proceedings/ecbs/2000/0604/00/06040299abs.htm},
researchr = {https://researchr.org/publication/AlexanderKB00},
cites = {0},
citedby = {0},
pages = {299-307},
booktitle = {7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK},
publisher = {IEEE Computer Society},
isbn = {0-7695-0604-6},
}