Hdl Handle:
http://hdl.handle.net/10149/108420
Title:
Reactivising classical B
Book Title:
Abstract state machines, Alloy, B and Z
Authors:
Dunne, S. E. (Steve); Zeyda, F. (Frank)
Editors:
Frappier, M. (Marc); Glässer, U. (Uwe); Khurshid, S. (Sarfraz); Laleau, R. (Régine); Reeves, S. (Steve)
Affiliation:
University of Teesside. School of Computing.
Citation:
Dunne, S. E. and Zeyda, F. (2010) 'Reactivising classical B', Second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, in Frappier, M. et. al. (eds) Abstract state machines, Alloy, B and Z, Lecture notes in computer science, 5977. Heidelberg: Springer Berlin, pp.302-318.
Publisher:
Springer Berlin
Conference:
Second international conference, ABZ 2010, Orford, QC, Canada, February 22-25
Issue Date:
2010
URI:
http://hdl.handle.net/10149/108420
DOI:
10.1007/978-3-642-11811-1_23
Additional Links:
http://www.springerlink.com/content/6n87521406521278/?p=f60a5b41c3a94104905e41384340ce34&pi=22
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
classical B; computing languages; Circus
Series/Report no.:
Lecture notes in computer science; 5977
ISSN:
0302-9743
ISBN:
9783642118104
Citation Count:
0 [Scopus, 27/07/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorDunne, S. E. (Steve)en
dc.contributor.authorZeyda, F. (Frank)en
dc.contributor.editorFrappier, M. (Marc)-
dc.contributor.editorGlässer, U. (Uwe)-
dc.contributor.editorKhurshid, S. (Sarfraz)-
dc.contributor.editorLaleau, R. (Régine)-
dc.contributor.editorReeves, S. (Steve)-
dc.date.accessioned2010-07-27T12:09:46Z-
dc.date.available2010-07-27T12:09:46Z-
dc.date.issued2010-
dc.identifier.isbn9783642118104-
dc.identifier.issn0302-9743-
dc.identifier.doi10.1007/978-3-642-11811-1_23-
dc.identifier.urihttp://hdl.handle.net/10149/108420-
dc.language.isoenen
dc.publisherSpringer Berlinen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries5977en
dc.relation.urlhttp://www.springerlink.com/content/6n87521406521278/?p=f60a5b41c3a94104905e41384340ce34&pi=22en
dc.subjectclassical Ben
dc.subjectcomputing languagesen
dc.subjectCircusen
dc.titleReactivising classical Ben
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Teesside. School of Computing.en
dc.title.bookAbstract state machines, Alloy, B and Zen
dc.identifier.conferenceSecond international conference, ABZ 2010, Orford, QC, Canada, February 22-25en
ref.citationcount0 [Scopus, 27/07/2010]en
or.citation.harvardDunne, S. E. and Zeyda, F. (2010) 'Reactivising classical B', Second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, in Frappier, M. et. al. (eds) Abstract state machines, Alloy, B and Z, Lecture notes in computer science, 5977. Heidelberg: Springer Berlin, pp.302-318.-
prism.startingPage302-
prism.endingPage318-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.