× Formal Methods: State of the Art and New Directionsherausgegeben von Paul Boca, Jonathan P. Bowen und Jawed SiddiqiMitwirkendeHerausgegeben vonPaul BocaHerausgegeben vonJonathan P. BowenHerausgegeben vonJawed SiddiqiChapters are supplemented with presentation slides which will be available on a dedicated website