Title: Proceedings of the First Workshop on Computer System Development, Modelling, and Diagnosis
Subjects: Congresses, Mathematical models, Operating systems (Computers)