-
Uddannelse
Find uddannelse
Studievejledning
Kvalitet
- Forskning
-
Samarbejde
Virksomheder
Kommuner og regioner
Gymnasier
Myndigheder
-
Om AU
Organisation
Kontakt
Om AU
- Organisation
- Ledelse
- Strategi
- AU i tal
- AU's historie
- Internationalt samarbejde
- Bæredygtighed
- Campus 2.0
- Diversitet og ligestilling
- Ledige stillinger
- Presse
- Kontakt
Lars Birkedal
Professor
Åbogade 34
bygning 5341, 225/227
8200 Aarhus N
Danmark
Mobil: +4523838546
- Udgivet
VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
- Udgivet
Iris-Wasm: Robust and Modular Verification of WebAssembly Programs
Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avis › Tidsskriftartikel › Forskning › peer review
- Udgivet
mitten: A Flexible Multimodal Proof Assistant
Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review
ID: 48915576