Record Beta

International Conference on Abstract State Machines, B and Z

https://id.confref.org/data/confref-portal/event/abz2008

rdf:type	portal:Conference
schema:location	London (wd:Q84)
rdfs:label	International Conference on Abstract State Machines, B and Z
portal:acronym	ABZ
portal:area	https://id.confref.org/data/confref-portal/area/2
portal:city	London
portal:country	UK
portal:endDate	2008-09-18
portal:keyword	Abstract State Machine
portal:keyword	Asynchronous communication mechanisms
portal:keyword	B machine
portal:keyword	B-method
portal:keyword	Brama
portal:keyword	Complex Systems
portal:keyword	Concurrency
portal:keyword	Configurable Proof Obligations
portal:keyword	Cryptography
portal:keyword	Design process
portal:keyword	Domain Engineering
portal:keyword	Event-B
portal:keyword	Formal methods
portal:keyword	Model-based testing
portal:keyword	SPIN
portal:keyword	Z
portal:keyword	animation
portal:keyword	axiomatic
portal:keyword	classical B
portal:keyword	refinement
portal:name	International Conference on Abstract State Machines, B and Z
portal:portalPage	http://portal.confref.org/list/abz2008
portal:series	https://id.confref.org/data/confref-portal/series/abz
portal:startDate	2008-09-16
portal:submissionExtended	false
portal:year	2008
cr:discipline	computer science (wd:Q21198)
cr:field	Computer and information sciences (https://id.confref.org/data/oecd-fos/1.2)

Beta confref labs is under development. Identifiers are stable; pages, data and services can change.