Completed research Junior Individual Grants 1997 Projects Foundations of Compositional Verification Foundations of Compositional Verification Reference number A4 JIG:04 Start and end dates 970101-991231 Amount granted 1 500 000 SEK Administrative organization Research area Information, Communication and Systems Technology Summary Popular science description
