Searched: P1Damiani[^A-Za-z]
Results from GPCE12 web
September 24, 2012 FOSD September 25, 2012 FOSD SLE Doctoral Symposium GPCE 18:15 GPCE/SLE/FOSD Welcome Reception September 26, 2012 SLE GPCE 09:10-09:15 Opening ...
2012-09-26 The EAPLS 2012 GPCE/SLE Best Paper Award was given to Ferruccio Damiani, Luca Padovani, and Ina Schaefer for their GPCE'12 paper A Formal Foundation for ...
Number of topics: 2