Home Advanced Search

Advanced Search - Page 1

Tools for Practical Software Verification: LASER, International Summer School 2011, Elba Island, Italy, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2012
  • Author: Edmund M. Clarke, William Klieber (auth.), Bertrand Meyer, Martin Nordio (eds.)
Software Engineering: International Summer Schools, LASER 2013-2014, Elba, Italy, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2015
  • Author: Bertrand Meyer, Martin Nordio (eds.)
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2012
  • Author: Mark Harman, Phil McMinn (auth.), Bertrand Meyer, Martin Nordio (eds.)
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2012
  • Author: Mark Harman, Phil McMinn (auth.), Bertrand Meyer, Martin Nordio (eds.)
Empirical Software Engineering and Verification: International Summer Schools, LASER 2008-2010, Elba Island, Italy, Revised Tutorial Lectures
  • PDF
  • English
  • Year: 2012
  • Author: Bertrand Meyer, Martin Nordio
Software Engineering Approaches for Offshore and Outsourced Development: 4th International Conference, SEAFOOD 2010, St. Petersburg, Russia, June 17-18, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Ivar Jacobson (auth.), Martin Nordio, Mathai Joseph, Bertrand Meyer, Andrey Terekhov (eds.)
Software Engineering Approaches for Offshore and Outsourced Development: Second International Conference, SEAFOOD 2008, Zurich, Switzerland, July 2-3, 2008. Revised Papers
  • PDF
  • English
  • Year: 2009
  • Author: Jarmo J. Ahonen, Anu Valtanen (auth.), Kay Berkling, Mathai Joseph, Bertrand Meyer, Martin Nordio (eds.)
Computer-Aided Verification: 2nd International Conference, CAV '90 New Brunswick, NJ, USA, June 18–21, 1990 Proceedings
  • DJVU
  • English
  • Year: 1991
  • Author: Edmund M. Clarke Jr. (auth.), Edmund M. Clarke, Robert P. Kurshan (eds.)
25 Years of Model Checking: History, Achievements, Perspectives
  • DJVU
  • English
  • Year: 2008
  • Author: Edmund M. Clarke (auth.), Orna Grumberg, Helmut Veith (eds.)
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25–May 1, 2010, Revised Selected Papers
  • PDF
  • English
  • Year: 2010
  • Author: Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
search