Runtime VerificationNikolai Tillmann, Oleg Sokolsky, Grigore Rosu, Gordon Pace, Insup Lee, Klaus Havelund, Bernd Finkbeiner, Ylies Falcone, Howard Barringer E-bok2010732 kr
Formal Approaches to Software Testing and Runtime VerificationBurkhart Wolff, Grigore Rosu, Manuel Nunez, Klaus Havelund E-bok2006732 kr
Del 13244Tools and Algorithms for the Construction and Analysis of SystemsDana Fisman, Grigore RosuHäftad, 2022454 kr
Runtime VerificationHoward Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai TillmannHäftad, 2010566 kr