Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
28 results · clear filters Sort: newest oldest name
- Rigorous State-Based Methods - 12th International Conference, ABZ 2026, Tokyo, Japan, May 18-20, 2026, ProceedingsComputer and information sciencese120fyg
- Rigorous State-Based Methods - 11th International Conference, ABZ 2025, Düsseldorf, Germany, June 10-13, 2025, ProceedingsComputer and information sciencese120fxj
- Rigorous State-Based Methods - 10th International Conference, ABZ 2024, Bergamo, Italy, June 25-28, 2024, ProceedingsComputer and information sciencese120fwm
- Rigorous State-Based Methods - 9th International Conference, ABZ 2023, Nancy, France, May 30 - June 2, 2023, ProceedingsComputer and information sciencese120fvp
- Rigorous State-Based Methods - 8th International Conference, ABZ 2021, Ulm, Germany, June 9-11, 2021, ProceedingsComputer and information sciencese10rhc4
- Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings (ABZ 2020)Computer and information sciencese10edes
- Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings (ABZ 2018, ZUM)Computer and information sciencese10edfq
- Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings (ZUM)Computer and information sciencese10rhb6
- Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)Computer and information sciencese12pgnm
- Abstract State Machines, Alloy, B, TLA, VDM, and Z - 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. ProceedingsComputer and information sciencese10rh9a
- ABZ 2014: The Landing Gear Case Study - Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014. ProceedingsComputer and information sciencese10rha8
- International Conference on Abstract State Machines, Alloy, B, VDM, and Z (ABZ 2012, ABZ)Computer and information sciencese10029a
- Abstract State Machines, Alloy, B and Z, Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010. Proceedings (ZUM)Computer and information sciencese10rh8c
- Abstract State Machines, B and Z, First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings (ABZ 2008, ZUM)Computer and information sciencese10dw40
- Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)Computer and information sciencese12pgmp
- Alloy, ASM, B, VDM, TLA, and Z User Conference (ZUM)Computer and information sciencese12pgkr
- ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings (ZUM)Computer and information sciencese120fze
- ZB 2003: Formal Specification and Development in Z and B, Third International Conference of B and Z Users, Turku, Finland, June 4-6, 2003, Proceedings (B, ZB 2003)Computer and information sciencese10dm2c
- International Conference of B and Z Users (B, ZB 2002)Computer and information sciencese10022r
- ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29 - September 2, 2000, Proceedings (B, ZB 2000)Computer and information sciencese10dm3a
- ZUM '98: The Z Formal Specification Notation, 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (ZUM 1998, ZUM)Computer and information sciencese10dtvk
- ZUM '97: The Z Formal Specification Notation, 10th International Conference of Z Users, Reading, UK, April 3-4, 1997, Proceedings (ZUM)Computer and information sciencese120g44
- International Conference of Z Users (ZUM 1995, ZUM)Computer and information sciencese1001y0
- Z User Workshop, Cambridge, UK, 29-30 June 1994, Proceedings (ZUM)Computer and information sciencese120g36
- Z User Workshop, London, UK, 14-15 December 1992, Proceedings (ZUM)Computer and information sciencese120g28
As JSON: https://labs.confref.org/api/search?kind=event&field=1&series=s10djws