Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
2 results · clear filters Sort: newest oldest name
- Mathematical Methods of Specification and Synthesis of Software Systems '85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985Computer and information sciencese10q19w
- International Spring School on Mathematical Methods of Specification and Synthesis of Software Systems (MMSSS)Computer and information sciencess1231fq
As JSON: https://labs.confref.org/api/search?field=1&series=s1231fq