Shape Analysis via Second-Order Bi-Abduction

Hdl Handle:
http://hdl.handle.net/10149/594425
Title:
Shape Analysis via Second-Order Bi-Abduction
Authors:
Le, Q. L. (Quang Loc); Gherghina, C. (Cristian); Qin, S. (Shengchao); Chin, W. N. (Wei-Ngan)
Affiliation:
Teesside University. Digital Futures Institute
Citation:
Le, Q. L., Gherghina, C., Qin, S., Chin, W. N. (2014) 'Shape Analysis via Second-Order Bi-Abduction' Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014). July 18-22, 2014. Vienna, Austria. Lecture Notes in Computer Science, Volume 8559. Pages:52-68
Publisher:
Springer
Journal:
Lecture Notes in Computer Science
Conference:
Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014). July 18-22, 2014. Vienna, Austria
Issue Date:
Jul-2014
URI:
http://hdl.handle.net/10149/594425
Additional Links:
http://link.springer.com/book/10.1007%2F978-3-319-08867-9
Type:
Meetings and Proceedings
Language:
en
ISBN:
9783319088662
Rights:
Following 12 month embargo author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo [Accessed: 20/01/2016]

Full metadata record

DC FieldValue Language
dc.contributor.authorLe, Q. L. (Quang Loc)en
dc.contributor.authorGherghina, C. (Cristian)en
dc.contributor.authorQin, S. (Shengchao)en
dc.contributor.authorChin, W. N. (Wei-Ngan)en
dc.date.accessioned2016-01-20T16:21:36Zen
dc.date.available2016-01-20T16:21:36Zen
dc.date.issued2014-07en
dc.identifier.citationLecture Notes in Computer Science, Volume 8559. Pages:52-68en
dc.identifier.isbn9783319088662en
dc.identifier.urihttp://hdl.handle.net/10149/594425en
dc.language.isoenen
dc.publisherSpringeren
dc.relation.urlhttp://link.springer.com/book/10.1007%2F978-3-319-08867-9en
dc.rightsFollowing 12 month embargo author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo [Accessed: 20/01/2016]en
dc.titleShape Analysis via Second-Order Bi-Abductionen
dc.typeMeetings and Proceedingsen
dc.contributor.departmentTeesside University. Digital Futures Instituteen
dc.identifier.journalLecture Notes in Computer Scienceen
dc.identifier.conferenceProceedings of the 26th International Conference on Computer Aided Verification (CAV 2014). July 18-22, 2014. Vienna, Austriaen
or.citation.harvardLe, Q. L., Gherghina, C., Qin, S., Chin, W. N. (2014) 'Shape Analysis via Second-Order Bi-Abduction' Proceedings of the 26th International Conference on Computer Aided Verification (CAV 2014). July 18-22, 2014. Vienna, Austria. Lecture Notes in Computer Science, Volume 8559. Pages:52-68en
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.