NUSA: Numeric and Symbolic Abstractions in Software Model Checking Roskilde IT Logo
Roskilde University, Denmark