Show simple item record

dc.contributor.authorLin, SW
dc.contributor.authorSun, J
dc.contributor.authorNguyen, TK
dc.contributor.authorLiu, Y
dc.contributor.authorDong, JS
dc.contributor.editorMyra Cohen, Lars Grunske, Michael Whalen
dc.date.accessioned2017-05-05T00:32:54Z
dc.date.available2017-05-05T00:32:54Z
dc.date.issued2016
dc.identifier.isbn9781509000241
dc.identifier.doi10.1109/ASE.2015.33
dc.identifier.urihttp://hdl.handle.net/10072/269507
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherInstitute of Electrical and Electronics Engineers (IEEE)
dc.publisher.placeUnited States of America
dc.relation.ispartofconferencenameASE 2015
dc.relation.ispartofconferencetitleProceedings - 2015 30th IEEE/ACM International Conference on Automated Software Engineering, ASE 2015
dc.relation.ispartofdatefrom2015-11-09
dc.relation.ispartofdateto2015-11-13
dc.relation.ispartoflocationLincoln, Nebraska, USA
dc.relation.ispartofpagefrom65
dc.relation.ispartofpageto74
dc.relation.ispartofedition1st
dc.subject.fieldofresearchSoftware engineering not elsewhere classified
dc.subject.fieldofresearchcode461299
dc.titleInterpolation guided compositional verification
dc.typeConference output
dc.type.descriptionE1 - Conferences
dc.type.codeE - Conference Publications
gro.hasfulltextNo Full Text
gro.griffith.authorDong, Jin-Song


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record