Special issue: Integrated formal methods (iFM09). Selected papers based on the presentations at the 7th international conference, Düsseldorf, Germany, February 16--19, 2009.
scientific article; zbMATH DE number 5916094