top

English
Persona    Opera   
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
   

Espandi
Riduci






Seleziona tutte
Deseleziona


Automated technology for verification and analysis
Espandi opera
...
PEPM '14 : proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation : January 20-21, 2014, San Diego, California, USA
Espandi opera
...
Proceedings for FTfJP 2012 : the 14th Workshop on Formal Techniques for Java-like Programs : co-located with ECOOP 2012 and PLDI 2012 : papers presented at the workshop : Beijing, China, June 12, 2012
Espandi opera
...

Theoretical Aspects of Software Engineering
Espandi opera
...