TY - BOOK ID - 145976185 TI - High-Assurance Software Engineering Workshop, 1997 PY - 1997 PB - [Place of publication not identified] IEEE Computer Society Press DB - UniCat KW - Quality assurance UR - https://www.unicat.be/uniCat?func=search&query=sysid:145976185 AB - This volume on software design and development is aimed at researchers, professors, practitioners, students, and other computing professionals.". ER -