Genomförd forskning Junior Individual Grants 1997 Projekt Foundations of Compositional Verification 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
