top
Biblioteche
Info
Contattaci
Persona
Opera
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Questo autore in
Wikipedia
Wikipedia
Export / Download
PDF
Excel
Unimarc (binario)
Marc XML
Marc (testo)
Leavens, Gary T.
ID:
855850
Opere
Altre forme del nome
Leavens, Gary T.
Gary T. Leavens informaticien américain
Leavens, Gary Todd
Leavens Gary T
Seleziona tutte
Deseleziona
FOAL '14 : proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages : April 22, 2014, Lugano, Switzerland
...
OOPSLA'12 : proceedings of the 2012 ACM International Conference on Object Oriented Programming Systems Languages and Applications : October 19-26, 2012 : Tucson, Arizona, USA
...
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
...
Proceedings of the 2005 Conference on Specification and Verification of Component-Based Systems
...
Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering
...
SPLASH'12 : proceedings of the 2012 ACM Conference on Systems, Programming, and Applications : Software for Humanity : October 19-26, 2012, Tucson, Arizona, USA
...
Verified software
...