Verification, Model Checking, and Abstract Interpretation (vol. # 3385) 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Verification, Model Checking, and Abstract Interpretation (vol. # 3385) 6th International Conference, VMCAI 2005, Paris, France, January 17-19, 2005, Proceedings

Bibliographic Details
Published in:	Springer e-books
Main Author:	Cousot, Radhia
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin Heidelberg : Springer-Verlag GmbH., 2005
Series:	Lecture Notes in Computer Science,
Subjects:	Computer Science Logic design Software engineering Logics and Meanings of Programs Programming Languages, Compilers, Interpreters Software Engineering
Online Access:	http://dx.doi.org/10.1007/b105073 Перейти в каталог НБ ТГУ

Similar Items

Verification, Model Checking, and Abstract Interpretation 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007. Proceedings /
by: Cook, Byron
Published: (2007)

Verification, Model Checking, and Abstract Interpretation (vol. # 3855) 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings
by: Emerson, E. Allen
Published: (2006)

Verification, Model Checking, and Abstract Interpretation 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings /
by: Hutchison, David
Published: (2009)

Verification, Model Checking, and Abstract Interpretation 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings /
by: Logozzo, Francesco
Published: (2008)

Verification, Model Checking, and Abstract Interpretation Third International Workshop, VMCAI 2002 Venice, Italy, January 21вЂ"22, 2002 Revised Papers /
by: Cortesi, Agostino
Published: (2006)

Model Checking Software (vol. # 3639) 12th International SPIN Workshop, San Francisco, CA, USA, August 22-24, 2005, Proceedings
by: Godefroid, Patrick
Published: (2005)

Model Checking Software (vol. # 3925) 13th International SPIN Workshop, Vienna, Austria, March 30 - April 1, 2006, Proceedings
by: Valmari, Antti
Published: (2006)

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings /
Published: (2015)

Hardware and Software, Verification and Testing First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005, Revised Selected Papers
by: Ur, Shmuel
Published: (2006)

Verification, Model Checking, and Abstract Interpretation 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013. Proceedings /
Published: (2013)

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings /
Published: (2014)

Model Checking Software 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007. Proceedings /
by: Bošnacki, Dragan
Published: (2007)

Model Checking Software 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by: Hutchison, David
Published: (2008)

Model Checking Software 20th International Symposium, SPIN 2013, Stony Brook, NY, USA, July 8-9, 2013. Proceedings /
Published: (2013)

Hardware and Software: Verification and Testing Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings /
by: Yorav, Karen
Published: (2008)

Hardware and Software, Verification and Testing Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006. Revised Selected Papers /
by: Bin, Eyal
Published: (2007)

Formal Methods and Software Engineering (vol. # 3785) 7th International Conference on Formal Engineering Methods, ICFEM 2005, Manchester, UK, November 1-4, 2005, Proceedings
by: Banach, Richard
Published: (2005)

Fundamental Approaches to Software Engineering (vol. # 3442) 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April
by: Cerioli, Maura
Published: (2005)

25 Years of Model Checking History, Achievements, Perspectives /
by: Grumberg, Orna
Published: (2008)

Practical Aspects of Declarative Languages (vol. # 3350) 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
by: Cabeza, Daniel
Published: (2005)

Static Analysis 8th International Symposium, SAS 2001 Paris, France, July 16вЂ"18, 2001 Proceedings /
by: Cousot, Patrick
Published: (2006)

Formal Methods and Software Engineering (vol. # 4260) 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings
by: Liu, Zhiming
Published: (2006)

Fundamental Approaches to Software Engineering (vol. # 3922) 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March
by: Baresi, Luciano
Published: (2006)

Component-Based Software Engineering (vol. # 3489) 8th International Symposium, CBSE 2005, St. Louis, MO, USA, May 14-15, 2005
by: Crnkovic, Ivica
Published: (2005)

Static Analysis (vol. # 3672) 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings
by: Hankin, Chris
Published: (2005)

Practical Aspects of Declarative Languages 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings /
by: Hanus, Michael
Published: (2007)

Software Engineering 1 Abstraction and Modelling /
by: Bjørner, Dines
Published: (2006)

Practical Aspects of Declarative Languages (vol. # 3819) 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings
by: Van Hentenryck, Pascal
Published: (2006)

Runtime Verification 4th International Conference, RV 2013, Rennes, France, September 24-27, 2013. Proceedings /
Published: (2013)

Automated Technology for Verification and Analysis 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings /
Published: (2013)

Formal Modeling and Analysis of Timed Systems (vol. # 3829) Third International Conference, FORMATS 2005, Uppsala, Sweden, September 26-28, 2005, Proceedings
by: Pettersson, Paul
Published: (2005)

Practical Aspects of Declarative Languages 15th International Symposium, PADL 2013, Rome, Italy, January 21-22, 2013. Proceedings /
Published: (2013)

Computer Aided Verification (vol. # 3576) 17th International Conference, CAV 2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings
by: Etessami, Kousha
Published: (2005)

Practical Aspects of Declarative Languages 10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008. Proceedings /
by: Hudak, Paul
Published: (2008)

Practical Aspects of Declarative Languages 16th International Symposium, PADL 2014, San Diego, CA, USA, January 20-21, 2014. Proceedings /
Published: (2014)

Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems International Autumn School, ROCKS 2012, Vahrn, Italy, October 22-26, 2012, Advanced Lectures /
Published: (2014)

Software Composition (vol. # 3628) 4th International Workshop, SC 2005, Edinburgh, UK, April 9, 2005, Revised Selected Papers
by: Assmann, Uwe
Published: (2005)

Formal Methods for Components and Objects (vol. # 4111) 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures
by: de Boer, Frank S.
Published: (2006)

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings /
Published: (2014)

Runtime Verification 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings /
Published: (2014)