12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010. IEEE Computer Society, 2010. [doi]
Conference: hase2010
@proceedings{hase-2010,
title = {12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010},
year = {2010},
url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5628339},
researchr = {https://researchr.org/publication/hase-2010},
cites = {0},
citedby = {0},
booktitle = {12th IEEE High Assurance Systems Engineering Symposium, HASE 2010, San Jose, CA, USA, November 3-4, 2010},
conference = {hase},
publisher = {IEEE Computer Society},
isbn = {978-1-4244-9091-2},
}