Title: High-assurance design
First published: 2006
Subjects: Computer architecture, System design, Computer engineering
LC classification: QA76.9.S88 B46 2006