International Spring School on Mathematical Methods of Specification and Synthesis of Software Systems (conference)

User Publication Person Organisation Collection