Automated Error-Detection and Repair for Compositional Software Specifications

File Description SizeFormat 
sefm-2014.pdfPublished version337.33 kBAdobe PDFView/Open
Title: Automated Error-Detection and Repair for Compositional Software Specifications
Authors: Alrajeh, D
Craven, R
Item Type: Chapter
Editors: Giannakopoulou, D
SalaÃŒn, G
Issue Date: 31-Dec-2014
URI: http://hdl.handle.net/10044/1/21548
DOI: http://dx.doi.org/10.1007/978-3-319-10431-7_9
ISBN: 978-3-319-10430-0
Publisher: Springer International Publishing
Start Page: 111
End Page: 127
Journal / Book Title: Software Engineering and Formal Methods
Lecture Notes in Computer Science
Volume: 8702
Copyright Statement: © Springer International Publishing Switzerland 2014. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-10431-7_9
Publisher URL: http://dx.doi.org/10.1007/978-3-319-10431-7_9
Appears in Collections:Computing



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons