Hoppa till innehåll
EN In english

Foundations of Compositional Verification

Diarienummer
A4 JIG:04
Start- och slutdatum
970101-991231
Beviljat belopp
1 500 000 kr
Förvaltande organisation
Forskningsområde
Informations-, kommunikations- och systemteknik

Summary

Populärvetenskaplig beskrivning