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