dc.contributor.author | Lin, SW | |
dc.contributor.author | Sun, J | |
dc.contributor.author | Nguyen, TK | |
dc.contributor.author | Liu, Y | |
dc.contributor.author | Dong, JS | |
dc.contributor.editor | Myra Cohen, Lars Grunske, Michael Whalen | |
dc.date.accessioned | 2017-05-05T00:32:54Z | |
dc.date.available | 2017-05-05T00:32:54Z | |
dc.date.issued | 2016 | |
dc.identifier.isbn | 9781509000241 | |
dc.identifier.doi | 10.1109/ASE.2015.33 | |
dc.identifier.uri | http://hdl.handle.net/10072/269507 | |
dc.description.peerreviewed | Yes | |
dc.language | English | |
dc.publisher | Institute of Electrical and Electronics Engineers (IEEE) | |
dc.publisher.place | United States of America | |
dc.relation.ispartofconferencename | ASE 2015 | |
dc.relation.ispartofconferencetitle | Proceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015 | |
dc.relation.ispartofdatefrom | 2015-11-09 | |
dc.relation.ispartofdateto | 2015-11-13 | |
dc.relation.ispartoflocation | Lincoln, Nebraska, USA | |
dc.relation.ispartofpagefrom | 65 | |
dc.relation.ispartofpageto | 74 | |
dc.relation.ispartofedition | 1st | |
dc.subject.fieldofresearch | Software engineering not elsewhere classified | |
dc.subject.fieldofresearchcode | 461299 | |
dc.title | Interpolation guided compositional verification | |
dc.type | Conference output | |
dc.type.description | E1 - Conferences | |
dc.type.code | E - Conference Publications | |
gro.hasfulltext | No Full Text | |
gro.griffith.author | Dong, Jin-Song | |