- ECU Libraries Catalog

Start Over

You searched for: author_facet Leavens, Gary T.

Showing 1 - 8 of 8 results

Search Results

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

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

by Leavens, Gary T.
2018
Format: Electronic

Location
Access Content Online

Cover image for MODULARITY 2015

MODULARITY 2015

by France, Robert B.
2015
Format: Electronic

Location
Access Content Online

Cover image for Transactions on Aspect-Oriented Software Development X

Transactions on Aspect-Oriented Software Development X

by Leavens, Gary T.
2013
Format: Electronic

Location
Access Content Online

Cover image for Transactions on aspect-oriented software development IX

Transactions on aspect-oriented software development IX

2012
Format: Electronic

Location
Access Content Online

Cover image for FOAL'12

FOAL'12

by Katz, Shmuel
2012
Format: Electronic

Location
Access Content Online

Cover image for Verified software

Verified software

by VSTTE 2010
2010
Format: Electronic

Location
Access Content Online

Cover image for Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems

Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems

by Leavens, Gary T.
2005
Format: Electronic

Location
Access Content Online

Cover image for Foundations of component-based systems

Foundations of component-based systems

2000
Format: Book

Location	Call #	Status
Joyner - General Stacks	QA76.76.C66 F68 2000	✔ Available