Automated Error-Detection and Repair for Compositional Software Specifications

File(s)

sefm-2014.pdf (337.33 KB)

Published version

Show more

Author(s)

Alrajeh, Dalal

Craven, Robert

Type

Chapter

Editor(s)

Giannakopoulou, Dimitra

SalaÃŒn, Gwen

Date Issued

2014

Citation

Software Engineering and Formal Methods, 2014, 8702, pp.111-127

URI

http://hdl.handle.net/10044/1/21548

URL

http://dx.doi.org/10.1007/978-3-319-10431-7_9

DOI

https://www.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

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Description

29.04.15 KB. OK to add accepted version to spiral, subject to 12 months embargo

Identifier

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