Search

You searched for: Auteur Barringer, Howard Remove constraint Auteur: Barringer, Howard
1 entry found
Number of results to display per page

Search Results

1. Runtime Verification
thumbnail
Full text!
Author:
Barringer, Howard; Falcone, Ylies; Finkbeiner, Bernd; Havelund, Klaus; Kanade, Takeo; Lee, Insup; Pace, Gordon; Roşu, Grigore; Sokolsky, Oleg; Tillmann, Nikolai
Publisher:
Springer Berlin Heidelberg 2010
Format:
e-book