Numeric and Symbolic Abstractions for Software Model Checking

Project: Research

Description

Rammebevilling fra Forskningsråd for Natur og Univers.
AcronymNUSA
StatusFinished
Effective start/end date01/01/201131/12/2013