Home Advanced Search

Advanced Search - Page 1

Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
  • PDF
  • English
  • Year: 2009
  • Author: Rastislav Bodik (auth.), Jens Palsberg, Zhendong Su (eds.)
Compiler Construction: 14th International Conference, CC 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings
  • PDF
  • English
  • Year: 2005
  • Author: Andreas Zeller (auth.), Rastislav Bodik (eds.)
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2009
  • Author: Jens Palsberg (auth.), Jens Palsberg (eds.)
Semantics and Algebraic Specification: Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday
  • PDF
  • English
  • Year: 2009
  • Author: Jens Palsberg (auth.), Jens Palsberg (eds.)
Verification, Model Checking, and Abstract Interpretation: 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings
  • PDF
  • English
  • Year: 2018
  • Author: Isil Dillig,Jens Palsberg (eds.)
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
Model Checking Software: 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Matthew B. Dwyer, Rahul Purandare (auth.), Klaus Havelund, Rupak Majumdar, Jens Palsberg (eds.)
Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006. Proceedings
  • PDF
  • English
  • Year: 2006
  • Author: Somesh Jha, Stefan Schwoon, Hao Wang, Thomas Reps (auth.), Holger Hermanns, Jens Palsberg (eds.)
search