"Analysis on demand: Instantaneous soundness checking of industrial ..."

Dirk Fahland et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics