Model checking contracts : a case study
dc.date.accessioned | 2013-03-12T08:04:57Z | |
dc.date.available | 2013-03-12T08:04:57Z | |
dc.date.issued | 2007 | en_US |
dc.date.submitted | 2008-03-26 | en_US |
dc.identifier.uri | http://hdl.handle.net/10852/9858 | |
dc.language.iso | eng | en_US |
dc.relation.ispartof | Research report http://urn.nb.no/URN:NBN:no-35645 | en_US |
dc.relation.uri | http://urn.nb.no/URN:NBN:no-35645 | |
dc.title | Model checking contracts : a case study | en_US |
dc.type | Research report | en_US |
dc.date.updated | 2008-03-31 | en_US |
dc.creator.author | Pace, Gordon | en_US |
dc.creator.author | Prisacariu, Christian | en_US |
dc.creator.author | Schneider, Gerardo | en_US |
dc.subject.nsi | VDP::420 | en_US |
dc.identifier.urn | URN:NBN:no-18786 | en_US |
dc.type.document | Forskningsrapport | en_US |
dc.identifier.duo | 71211 | en_US |
dc.identifier.bibsys | 080494463 | en_US |
dc.identifier.fulltext | Fulltext https://www.duo.uio.no/bitstream/handle/10852/9858/1/Report362.pdf |
Files in this item
Appears in the following Collection
-
Institutt for informatikk [4970]