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

por Leavens, Gary T.
Publicado 2005

SPLASH'12 : proceedings of the 2012 ACM Conference on Systems, Programming, and Applications : Software for Humanity : October 19-26, 2012, Tucson, Arizona, USA

por Leavens, Gary T.
Publicado 2012

OOPSLA'12 : proceedings of the 2012 ACM International Conference on Object Oriented Programming Systems Languages and Applications : October 19-26, 2012 : Tucson, Arizona, USA

por Leavens, Gary T.
Publicado 2012

Onward! 2012 : proceedings of the ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software : October 19-26, 2012 : Tucson, Arizona, USA

por Leavens, Gary T.
Publicado 2012

FOAL '14 : proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages : April 22, 2014, Lugano, Switzerland

por Leavens, Gary T.
Publicado 2014

Foundations of component-based systems

Publicado 2000

FOAL'12 : proceedings of the Eleventh Workshop on Foundations of Aspect-Oriented Languages : March 26, 2012, Potsdam, Germany

por Katz, Shmuel
Publicado 2012

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

Publicado 2018

MODULARITY 2015 : proceedings of the 14th International Conference on Modularity : March 16-19, 2015. Fort Collins, CO, USA

Publicado 2015

14th International Conference on Modularity (MODULARITY Companion 2015) proceedings : March 16-19, 2015, Fort Collins, CO, USA

Publicado 2015