Browse by Person (creator, editor, contributor, etc.)

Group by: Item Type | Date | No Grouping

Number of items: 2.

Conference or workshop item

Christakis, Maria and Leino, K. Rustan M. and Müller, Peter and Wüstholz, Valentin (2016) Integrated Environment for Diagnosing Verification Errors. In: Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings. Lecture Notes in Computer Science (LNCS), 9636. Springer pp. 424-441. ISBN 978-3-662-49673-2. E-ISBN 978-3-662-49674-9. (doi:https://doi.org/10.1007/978-3-662-49674-9_25) (Full text available)

Preview

Christakis, Maria and Leino, K. Rustan M. and Schulte, Wolfram (2014) Formalizing and Verifying a Modern Build Language. In: 19th International Symposium, Singapore, May 12-16, 2014. Proceedings. Lecture Notes in Computer Science (LNCS), 8442. pp. 643-657. ISBN 978-3-319-06409-3. E-ISBN 978-3-319-06410-9. (doi:https://doi.org/10.1007/978-3-319-06410-9_43) (Full text available)

Preview

This list was generated on Sun Apr 28 03:27:20 2019 BST.

Export as	Atom RSS 1.0 RSS 2.0