Shape Analysis via Second-Order Bi-Abduction

Quang Loc Le, Cristian Gherghina, Shengchao Qin, Wei-Ngan Chin

Research output: Contribution to journalConference article

129 Downloads (Pure)
Original languageEnglish
Pages (from-to)52
Number of pages68
JournalLecture Notes in Computer Science
Volume8559
DOIs
Publication statusPublished - 2014
Event26th International Conference on Computer Aided Verification - Vienna, Austria
Duration: 18 Jul 201422 Jul 2014

Cite this