Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
3 results · clear filters Sort: newest oldest name
- Formal Methods (FM) (FM)Computer and information sciencese12k4jc
- International Symposium of VDM Europe (VDM)Computer and information sciencese12p6pw
- VDM '87, VDM - A Formal Method at Work, VDM-Europe Symposium, Brussels, Belgium, March 23-26, 1987, ProceedingsComputer and information sciencese113jve
As JSON: https://labs.confref.org/api/search?field=1&series=s109pnb&country=BE