Title: 12th International Symposium on System Synthesis
Subjects: Computer-aided software engineering, Congresses, System design, Systems software