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