Home Advanced Search

Advanced Search - Page 1

Protocol Specification, Testing and Verification XIV
  • PDF
  • English
  • Year: 1995
  • Author: Klaus Havelund, Kim Guldstrand Larsen (auth.), Son T. Vuong, Samuel T. Chanson (eds.)
Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
  • PDF
  • English
  • Year: 2015
  • Author: Deepak D’Souza, Akash Lal, Kim Guldstrand Larsen (eds.)
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Kim Guldstrand Larsen, Oleg Sokolsky, Ji Wang (eds.)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
  • PDF
  • English
  • Year: 2019
  • Author: Kim Guldstrand Larsen, Tim Willemse
Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Jan Friso Groote, Kim Guldstrand Larsen
Tools and Algorithms for the Construction and Analysis of Systems. 27th International Conference, TACAS 2021 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021 Luxembourg City, Luxembourg, March 27 – April 1, 2021 Proceedings
  • PDF
  • English
  • Year: 2021
  • Author: Jan Friso Groote, Kim Guldstrand Larsen
Web Content Delivery (Web Information Systems Engineering and Internet Technologies Book Series)
  • PDF
  • English
  • Year: 2005
  • Author: Xueyan Tang (Editor), Jianliang Xu (Editor), Samuel T. Chanson (Editor)
Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings
  • PDF
  • English
  • Year: 2014
  • Author: Erika Ábrahám, Klaus Havelund (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.)
Behavior Modification in Black Populations: Psychosocial Issues and Empirical Findings
  • PDF
  • English
  • Year: 1982
  • Author: Samuel M. Turner (auth.), Samuel M. Turner, Russell T. Jones (eds.)
search