Home Advanced Search

Advanced Search - Page 1

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)
Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers
  • PDF
  • English
  • Year: 2006
  • Author: Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)
Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)
Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
  • DJVU
  • English
  • Year: 2004
  • Author: José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)
Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings
  • PDF
  • English
  • Year: 2004
  • Author: José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)
Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings
  • PDF
  • English
  • Year: 2011
  • Author: José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)
search