Constructing property-oriented models for verification

Hdl Handle:
http://hdl.handle.net/10149/110739
Title:
Constructing property-oriented models for verification
Book Title:
Unifying theories of programming
Authors:
He, J. (Jifeng); Qin, S. (Shengchao); Sherif, A. (Adnan)
Editors:
Dunne, S. E. (Steve); Stoddart, W. J. (Bill)
Affiliation:
University of Durham. Department of Computer Science.
Citation:
He, J., Qin, S. and Sherif, A. (2006) 'Constructing property-oriented models for verification', 1st international symposium on unifying theories of programming, Walworth Castle, England, February 5-7, 2006, in Dunne, S. and Stoddart, B. (eds) Unifying theories of programming, Lecture notes in computer science, Vol. 4010. Heidelberg: Springer-Verlag, pp.85-100.
Publisher:
Springer-Verlag
Conference:
1st international symposium on unifying theories of programming, Walworth Castle, England, February 5-7, 2006
Issue Date:
2006
URI:
http://hdl.handle.net/10149/110739
DOI:
10.1007/11768173_6
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
formal verification; property-oriented models; semantic; syntactic
Series/Report no.:
Lecture notes in computer science; 4010
ISSN:
0302-9743
ISBN:
9783540347507
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]
Citation Count:
0 [Web of Science, 06/09/2010]

Full metadata record

DC FieldValue Language
dc.contributor.authorHe, J. (Jifeng)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorSherif, A. (Adnan)en
dc.contributor.editorDunne, S. E. (Steve)en
dc.contributor.editorStoddart, W. J. (Bill)en
dc.date.accessioned2010-09-06T13:33:05Z-
dc.date.available2010-09-06T13:33:05Z-
dc.date.issued2006-
dc.identifier.isbn9783540347507-
dc.identifier.issn0302-9743-
dc.identifier.doi10.1007/11768173_6-
dc.identifier.urihttp://hdl.handle.net/10149/110739-
dc.language.isoenen
dc.publisherSpringer-Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries4010en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 06/09/2010]en
dc.subjectformal verificationen
dc.subjectproperty-oriented modelsen
dc.subjectsemanticen
dc.subjectsyntacticen
dc.titleConstructing property-oriented models for verificationen
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Durham. Department of Computer Science.en
dc.title.bookUnifying theories of programmingen
dc.identifier.conference1st international symposium on unifying theories of programming, Walworth Castle, England, February 5-7, 2006en
ref.citationcount0 [Web of Science, 06/09/2010]en
or.citation.harvardHe, J., Qin, S. and Sherif, A. (2006) 'Constructing property-oriented models for verification', 1st international symposium on unifying theories of programming, Walworth Castle, England, February 5-7, 2006, in Dunne, S. and Stoddart, B. (eds) Unifying theories of programming, Lecture notes in computer science, Vol. 4010. Heidelberg: Springer-Verlag, pp.85-100.-
prism.startingPage85-
prism.endingPage100-
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.