5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings. IEEE Computer Society, 2000. [doi]
Conference: hase2000
@proceedings{hase-2000,
title = {5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings},
year = {2000},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7194},
researchr = {https://researchr.org/publication/hase-2000},
cites = {0},
citedby = {0},
booktitle = {5th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2000), 15-17 November 2000, Albuquerque, NM, USA, Proceedings},
conference = {hase},
publisher = {IEEE Computer Society},
isbn = {0-7695-0927-4},
}