Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings
  • PDF
  • English
  • Year: 2008
  • Author: Radhia Cousot (auth.), Francesco Logozzo, Doron A. Peled, Lenore D. Zuck (eds.)
Static Analysis: 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings
  • PDF
  • English
  • Year: 2013
  • Author: Eric Goubault (auth.), Francesco Logozzo, Manuel Fähndrich (eds.)
软件可靠性方法
  • PDF
  • Chinese
  • Year: 2012
  • Author: Doron A. Peled
Time for Verification: Essays in Memory of Amir Pnueli
  • PDF
  • English
  • Year: 2010
  • Author: Howard Barringer, Dov M. Gabbay (auth.), Zohar Manna, Doron A. Peled (eds.)
Dependable software systems engineering
  • PDF
  • English
  • Year: 2017
  • Author: Alexander Pretschner, Doron A Peled, Thomas Hutzelmann
Reframing Disability and Quality of Life: A Global Perspective
  • PDF
  • English
  • Year: 2013
  • Author: Narelle Warren, Lenore Manderson (auth.), Narelle Warren, Lenore Manderson (eds.)
The “Other” In 9/11 Literature: If You See Something, Say Something
  • PDF
  • English
  • Year: 2017
  • Author: Lenore Bell (auth.)
Language Policy in the Soviet Union
  • PDF
  • English
  • Year: 2003
  • Author: Lenore A. Grenoble (auth.)
Model Checking
  • EPUB
  • English
  • Year: 2018
  • Author: Edmund M. Clark Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
Model Checking (Cyber Physical Systems Series)
  • EPUB
  • English
  • Year: 2018
  • Author: Edmund M. Clarke Jr., Orna Grumberg, Daniel Kroening, Doron Peled, Helmut Veith
search