Record Beta
High-Assurance Systems (HASE)
https://id.confref.org/data/confref-portal/event/hase1997
This record is part of the confref event 2nd High-Assurance Systems Engineering Workshop (HASE '97), August 11-12, 1997, Washington, DC, USA, Proceedings.
Beta confref labs is under development. Identifiers are stable; pages, data and services can change.