Formal Approaches to Software Testing and Runtime VerificationKlaus Havelund, Manuel Núnez, Grigore Rosu, Burkhart WolffHäftad551 kr
Tools and Algorithms for the Construction and Analysis of SystemsDana Fisman, Grigore RosuHäftad445 kr
Tools and Algorithms for the Construction and Analysis of SystemsDana Fisman, Grigore RosuHäftad445 kr
Runtime VerificationHoward Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Rosu, Oleg Sokolsky, Nikolai TillmannHäftad551 kr