Hopp til hovedinnhold
UiO
Det matematisk-naturvitenskapelige fakultet
Institutt for informatikk
Søk i nettsidene til IFI
Søk
Forsiden IFI
Forskning
Studier
Livet rundt studiene
Tjenester og verktøy
Om instituttet
Personer
Tilbake til uio.no
Meny
English website
For ansatte
Mine studier
Undermeny
Forskning
Forskningsprosjekter
SMT4ABS
Forskning
>
Forskningsprosjekter
>
SMT4ABS
English
version of this page
SMT4ABS
Les mer på den
engelske prosjektsiden
Publisert
2. des. 2014 15:04
-
Sist endret
7. feb. 2020 15:58
Deltakere
Einar Broch Johnsen
Erika Abraham
Detaljert oversikt over deltakere
Involverte forskergrupper
Pålitelige systemer (PSY)