*Search Results* - Verified Java bytecode verification

*to main content*

*to footer with external links*

sublabel_Solr

1

Verified Java bytecode verification

Klein, Gerwin (Verfasser)

2003

*eBook*

2

Formal Verification of Object-Oriented Software : International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

Beckert, Bernhard (Herausgeber)

1st ed. 2012

Berlin, Heidelberg : Springer Berlin Heidelberg, 2012

*eBook*

3

Programming Languages and Systems : 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings

Ueda, Kazunori (Herausgeber)

1st ed. 2010

Berlin, Heidelberg : Springer Berlin Heidelberg, 2010

*eBook*

4

Formal Methods : 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings

Chechik, Marsha (Herausgeber)

1st ed. 2023

Cham : Springer International Publishing, 2023

*eBook*

5

Fundamental Approaches to Software Engineering : 8th International Conference, FASE 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005, Proceedings

Cerioli, Maura (Herausgeber)

1st ed. 2005

Berlin, Heidelberg : Springer Berlin Heidelberg, 2005

*eBook*

6

Abstract state machines : a method for high level system design and analysis ; with 19 tables

Börger, Egon (Verfasser)

Berlin : Springer, 2003

*book*