*Search Results* - Automated termination proofs for Java programs with cyclic data

sublabel_Solr

1
2
*Next*
[2]

Automated termination proofs for Java programs with cyclic data

Brockschmidt, Marc

Aachen : RWTH, 2012

*eBook*

Verification, Induction, Termination Analysis : Festschrift for Christoph Walther on the Occasion of His 60th Birthday

Siegler, Simon (Herausgeber)

1st edition 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

*eBook*

Automated reasoning : first international joint conference ; proceedings

Goré, Rajeev (Herausgeber)

Berlin : Springer, 2001

*book*

Conference on automated deduction : 5th conference, Les Arcs, France, July 8-11, 1980

Bibel, Wolfgang (Hrsg.)

Berlin : Springer, 1980

*book*

Automated Technology for Verification and Analysis : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings

Namjoshi, Kedar (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

*eBook*

Automated Technology for Verification and Analysis : Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

Peled, Doron A (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

*eBook*

Semantics with applications : an appetizer

Nielson, Hanne Riis

London : Springer, 2007

*book*

Tools and Algorithms for the Construction and Analysis of Systems : 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings, Part II

Fisman, Dana (Herausgeber)

1st ed. 2022

Cham : Springer International Publishing, 2022

*eBook*

Tools and Algorithms for the Construction and Analysis of Systems : 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Hermanns, Holger (Herausgeber)

1st ed. 2006

Berlin, Heidelberg : Springer Berlin Heidelberg, 2006

*eBook*

Logic for programming, artificial intelligence, and reasoning : 8th international conference ; proceedings

Nieuwenhuis, Robert (Herausgeber)

Berlin : Springer, 2001

*book*

Interactive theorem proving and program development : Coq'Art: the calculus of inductive constructions

Bertot, Yves

Berlin [u.a.] : Springer, 2004

*book*

Logic for Programming, Artificial Intelligence, and Reasoning : 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings

Cervesato, Iliano (Herausgeber)

1st ed. 2008

Berlin, Heidelberg : Springer Berlin Heidelberg, 2008

*eBook*

Proceedings / 28th International Conference on Software Engineering : 20-28 May 2006, Shanghai, China ; ICSE 2006

Osterweil, Leon J. (Herausgeber)

New York, NY.: Association for Computing Machinery, 2006

*book*

Tools and Algorithms for the Construction and Analysis of Systems : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings

Esparza, Javier (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

*eBook*

Interactive Theorem Proving : Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

Beringer, Lennart (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

*eBook*

Theorem Proving in Higher Order Logics : 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009, Proceedings

Berghofer, Stefan (Herausgeber)

1st ed. 2009

Berlin, Heidelberg : Springer Berlin Heidelberg, 2009

*eBook*

Current trends in programming methodology
2. Program validation

Yeh, Raymond T. (Hrsg.)

Englewood Cliffs, NJ : Prentice-Hall, 1977

*book*

Theorem Proving in Higher Order Logics : 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings

Schneider, Klaus (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

*eBook*

Hardware and Software: Verification and Testing : 8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers

Biere, Armin (Herausgeber)

1st ed. 2013

Berlin, Heidelberg : Springer Berlin Heidelberg, 2013

*eBook*

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, VMCAI 2007, Nice, France, January 14-16, 2007, Proceedings

Cook, Byron (Herausgeber)

1st ed. 2007

Berlin, Heidelberg : Springer Berlin Heidelberg, 2007

*eBook*

1
2
*Next*
[2]

*sublabel_Solr*

*Showing* 1 - 20 *of* 39

*pagination*

*pagination*

*Narrow Search*

sublabel_Solr

Showing 1 - 20 of 39

pagination

pagination

Narrow Search