Hopp til hovedinnhold
Universitetet i Bergen
Meny
Studier
Forskning
Innovasjon
Bibliotek
For studenter
For ansatte
Om UiB
English
Norsk
Lukk
Søkefelt
Filtrer på innhold
Alt innhold
Nyheter
Studier
Arrangementer
Personer
Ansattsider
Choose what results to return
Studier
Forskning
Innovasjon
Bibliotek
For studenter
For ansatte
Om UiB
Programutviklingsteori
Forskning
Research activities
Conferences and workshops
Prosjekter
Co-Evo
Automating Coherent Logic
Secure Heterogeneous Information Presentation
Diagram Predicate Framework
Secure Mobile Data Collection Systems
Dynamic Presentation Generator
Student Projects
Completed projects
Safer Refactorings with Assertions
Publikasjoner
Publications
Kontakt
Kontaktinformasjon
Medlemmer
Forskning
Research activities
Conferences and workshops
Prosjekter
Co-Evo
Automating Coherent Logic
Secure Heterogeneous Information Presentation
Diagram Predicate Framework
Secure Mobile Data Collection Systems
Dynamic Presentation Generator
Student Projects
Completed projects
Safer Refactorings with Assertions
Publikasjoner
Publications
Kontakt
Kontaktinformasjon
Medlemmer
UiB
NT
II
Programutviklingsteori
Kart for Programutviklingsteori
