Toggle navigation
English
Norsk
Norsk
English
Norsk
Administrasjon
Toggle navigation
Vis innførsel
Hjem
Det matematisk-naturvitenskapelige fakultet
Institutt for informatikk
Institutt for informatikk
Vis innførsel
Hjem
Det matematisk-naturvitenskapelige fakultet
Institutt for informatikk
Institutt for informatikk
Vis innførsel
JavaScript is disabled for your browser. Some features of this site may not work without it.
Model checking contracts : a case study
Pace, Gordon
;
Prisacariu, Christian
;
Schneider, Gerardo
Research report
Åpne
Report362.pdf (328.7Kb)
År
2007
Permanent lenke
http://urn.nb.no/
URN:NBN:no-18786
Del av
Research report
Metadata
Vis metadata
Finnes i følgende samling
Institutt for informatikk
[4970]
Sammendrag
Sammendrag ikke registrert.
Søk i hele DUO
Kun denne samlingen
For studenter / ansatte
Levere masteroppgave
Tilgang til lukket materiale
Bla i:
Alle enheter
Enheter og samlinger
Dato
Forfatter
Tittel
Denne samlingen
Dato
Forfatter
Tittel
For bibliotekansatte
Logg inn
RSS