Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

Verification, Model Checking, and Abstract Interpretation : 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010, Proceedings

by Gilles Barthe, Manuel Hermenegildo Paperback 2010

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Gilles Barthe, Manuel Hermenegildo
  • ISBN 13: 9783642113185
  • ISBN 10: 3642113184
  • Publication Year: 2010
  • Language: English

Specifications

Index-103642113184
LanguageEnglish
Index-139783642113185
Period-
Class Track-
Publisher- (2010)
Pages-

✨ Readers also enjoyed...

View All →
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 2004, Revis

Construction and Analysis of Safe,…

Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean

Inquire
Engineering Secure Software and Systems : 4th International Symposium, ESSoS 2012, Eindhoven, the Netherlands, February, 16-17, 2012, Proceedings

Engineering Secure Software and Sy…

Gilles Barthe, Ben Livshits, Riccardo Scandariato

Inquire
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers

Formal Aspects of Security and Tru…

Gilles Barthe, Anupam Datta, Sandro Etalle

Inquire
Formal Methods for Open Object-Based Distributed Systems : 10th IFIP WG 6. 1 International Conference, FMOODS 2008, Oslo, Norway, June 4-6, 2008 Proce

Formal Methods for Open Object-Bas…

Gilles Barthe, Frank S. de Boer

Inquire
Foundations of Security Analysis and Design V : FOSAD 2008/2009 Tutorial Lectures

Foundations of Security Analysis a…

Alessandro Aldini, Gilles Barthe, Roberto Gorrieri

Inquire