In response to the COVID-19 outbreak, statewide lending via OhioLINK and SearchOhio has been suspended. OPAL member libraries have closed or are operating at reduced service levels. Please contact your library with specific lending requests or if you need assistance.
Your session will expire automatically in 0 seconds.
Abz Conference 1st 2008 London England : Abstract state machines, B and Z : first international conference, ABZ 2008, London, UK, September 16-18, 2008 : proceedings / Egon Borger [and others] (eds.).
Abz Conference 2nd 2010 Orford Quebec : Abstract state machines, Alloy, B and Z : Second International Conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 ; proceedings / Marc Frappier [and others] (eds.).
Abz Conference 3rd 2012 Pisa Italy : Abstract state machines, Alloy, B, VDM, and Z : third International Conference, ABZ 2012, Pisa, Italy, June 18-21, 2012. Proceedings / John Derrick [and others] (eds.).
Abz Conference 5th 2016 Linz Austria : Abstract state machines, Alloy, B, TLA, VDM, and Z : 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings / Michael Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklos Biro (eds.).
Abz Conference 6th 2018 Southampton England : Abstract state machines, Alloy, B, TLA, VDM, and Z : 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings / Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl (eds.).