Integrated formal methods. 7th international conference, IFM 2009, Düsseldorf, Germany, February 16--19, 2009. Proceedings
scientific article; zbMATH DE number 5510031