ICSE 2014

The paper: “Formal Verification Problems in a Bigdata World: Towards a mighty Sinergy” has been accepted for presentation at the Doctoral Symposium of ICSE 2014 conference.

Here they are some pics of me while presenting…

DSC_0134 DSC_0133

And here they are other pics from ICSE’14
https://www.facebook.com/icseconf/posts/347429078742638

 

Advertisements