TY  - SER
AU  - Keliy, John P. J.
AU  - Murphy, Susan C.
TI  - Achieving Dependability ThroughoutDevelopment Process a Distributed Software Experiment
KW  - Back-To-Back Starting
KW  - Multiveriable Systems
KW  -  Formal Specification
ER  -