Numeric and Symbolic Abstractions for Software Model Checking

Projekter: ProjektForskning

Beskrivelse

Rammebevilling fra Forskningsråd for Natur og Univers.
AkronymNUSA
StatusAfsluttet
Effektiv start/slut dato01/01/201131/12/2013