Show simple item record

Grand Challenges in Computing Research – ACM-BCS Visions of Computer Science 2010

dc.contributor.authorGrov, Gudmund,en
dc.contributor.authorBundy, Alanen
dc.contributor.authorJones, Cliff Ben
dc.contributor.authorIreland, Andrewen
dc.date.accessioned2011-02-03T11:52:29Z
dc.date.available2011-02-03T11:52:29Z
dc.date.issued2010-04
dc.identifier.urihttp://hdl.handle.net/1842/4771
dc.language.isoen
dc.titleThe AI4FM approach for proof automation within formal methods — A Grand Challenge 6 "Dependable Systems Evolution" projecten
dc.typeConference Paperen
rps.titleGrand Challenges in Computing Research – ACM-BCS Visions of Computer Science 2010en
dc.date.updated2011-02-03T11:52:30Z
dc.date.openingDate2010-04-14
dc.date.closingDate2010-04-16


Files in this item

This item appears in the following Collection(s)

Show simple item record