Home Advanced Search

Advanced Search - Page 1

Verification, Model Checking, and Abstract Interpretation: 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings
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.)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings
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
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
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
Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings
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.)
Reviving the Invisible Hand: The Case for Classical Liberalism in the Twenty-first Century
Reviving the Invisible Hand: The Case for Classical Liberalism in the Twenty-first Century
  • PDF
  • English
  • Year: 2010
  • Author: Deepak Lal
Reviving the Invisible Hand : The Case for Classical Liberalism in the Twenty-First Century
Reviving the Invisible Hand : The Case for Classical Liberalism in the Twenty-First Century
  • EPUB
  • English
  • Year: 2006
  • Author: Deepak Lal
Poverty and Progress: Realities and Myths about Global Poverty
Poverty and Progress: Realities and Myths about Global Poverty
  • EPUB
  • English
  • Year: 2013
  • Author: Deepak Lal
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Automated Technology for Verification and Analysis: 15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
  • PDF
  • English
  • Year: 2017
  • Author: Deepak D’Souza, K. Narayan Kumar (eds.)
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
Verified Software. Theories, Tools and Experiments.: 14th International Conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, Revised Selected Papers
  • PDF
  • English
  • Year: 2023
  • Author: Akash Lal, Stefano Tonetta
search