Title: The safety-progress classification
First published: 1992
Subjects: Logic, Symbolic and mathematical, Real-time programming, Symbolic and mathematical Logic
LC classification: QA76.54 .C45 1992