Skip to contents

Leavens, Gary T. [Editor] ; VSTTE 3 2010 Edinburgh

Verified software: theories, tools, experiments : third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010 ; proceedings

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg: Springer, 2010

Published in: Lecture notes in computer science ; 6217
Leavens, Gary T [Author] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering

Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering

View online
Schließen

Access

... to E-book via ACM Digital Library

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2018

Published in: ACM Digital Library- ACM Conferences
Leavens, Gary T [Author] ; Association for Computing Machinery-Digital Library, ACM Special Interest Group on Software Engineering, ACM Special Interest Group on Programming Languages

Proceedings of the 13th workshop on Foundations of aspect-oriented languages

View online
Schließen

Access

... to E-book via ACM Digital Library (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2014

Published in: ACM Other conferences- ACM Digital Library
Leavens, Gary T. [Author] ; Chiba, Shigeru [Other]; Tanter, Éric [Other]

Transactions on Aspect-Oriented Software Development X

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2013

Published in: Lecture notes in computer science ; 7800
Leavens, Gary T. [Author] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Proceedings of the 3rd annual conference on Systems, programming, and applications software for humanity

View online
Schließen

Access

... to E-book via ACM Digital Library (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2012

Published in: ACM Digital Library- ACM Conferences
Leavens, Gary T. [Author] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Proceedings of the ACM international conference on Object oriented programming systems languages and applications

View online
Schließen

Access

... to E-book via ACM Digital Library (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2012

Published in: ACM Digital Library- ACM Conferences
Leavens, Gary T. [Author] ; Association for Computing Machinery, ACM Special Interest Group on Programming Languages

Proceedings of the ACM international symposium on New ideas, new paradigms, and reflections on programming and software

View online
Schließen

Access

... to E-book via ACM Digital Library (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2012

Published in: ACM Digital Library- ACM Conferences
Leavens, Gary T. [Author] ; Chiba, Shigeru [Other]; Haupt, Michael [Other]; Ostermann, Klaus [Other]; Wohlstadter, Eric [Other]

Transactions on Aspect-Oriented Software Development IX

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer, 2012

Published in: Lecture notes in computer science ; 7271
Leavens, Gary T. [Author] ; O’Hearn, Peter [Other]; Rajamani, Sriram K. [Other]

Verified Software: Theories, Tools, Experiments : Third International Conference, VSTTE 2010, Edinburgh, UK, August 16-19, 2010. Proceedings

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer Berlin Heidelberg, 2010

Published in: Lecture notes in computer science ; 6217
Leavens, Gary T. [Author] ; Association for Computing Machinery, ACM Special Interest Group on Software Engineering

Proceedings of the 2005 conference on Specification and verification of component-based systems

View online
Schließen

Access

... to E-book via ACM Digital Library (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

New York, NY: ACM, 2005

Published in: ACM Digital Library- ACM Conferences
Chiba, Shigeru [Author] ; T. Leavens, Gary [Editor]; Ziarek, Lukasz [Editor]; Eugster, Patrick [Editor]; Südholt, Mario [Editor]

Transactions on Modularity and Composition I

View online
Schließen

Access

... to E-book (OAPEN Library: description of the publication ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer Nature, 2016
Müller, Peter [Author]; Poetzsch-Heffter, Arnd [Author]; Leavens, Gary T. [Author]

Modular invariants for layered object structures

View online
Schließen

Links

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Computer Science Department, 2005

Published in: Technical report, 424
Chiba, Shigeru [Editor]; Südholt, Mario [Editor]; Eugster, Patrick [Editor]; Ziarek, Lukasz [Editor]; Leavens, Gary T. [Editor]

Transactions on Modularity and Composition I

View online
Schließen

Access

... to E-book via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cham: Springer, 2016

Published in: Lecture notes in computer science ; 9800
Eisenbach, Susan [Author]; Leavens, Gary T. [Author]; Müller, Peter [Author]; Poetzsch, Michael [Author]; Poll, Erik [Author]

Formal techniques for Java-like programs

View online
Schließen

Links

... to E-book

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

ETH, Eidgenössische Technische Hochschule Zürich, Department of Computer Science, Chair of Software Engineering, 2003

Published in: Technical Report / ETH Zurich, Department of Computer Science, 408
Leavens, Gary T.

Session details: Specification and verification

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2014

Published in: ACM SIGPLAN Notices, 49 (2014) 10
Leavens, Gary T.

Use concurrent programming models to motivate teaching of programming languages

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2008

Published in: ACM SIGPLAN Notices, 43 (2008) 11, Seite 93-98
Leavens, Gary T.

Formal Methods and Software Engineering: JML’s Rich, Inherited Specifications for Behavioral Subtypes

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2006

Published in: Formal Methods and Software Engineering (2006), Seite 2-34
Leavens, Gary T.

Not a Number of Floating Point Problems

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

AITO - Association Internationale pour les Technologies Objets, 2006

Published in: The Journal of Object Technology, 5 (2006) 2, Seite 75
Leavens, Gary T.

Formal methods for multimethod software components

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 2000

Published in: ACM SIGSOFT Software Engineering Notes, 25 (2000) 1, Seite 62-63
Leavens, Gary T.

Inheritance of interface specifications (extended abstract)

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1994

Published in: ACM SIGPLAN Notices, 29 (1994) 8, Seite 129-138

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication