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…
And here they are other pics from ICSE’14
https://www.facebook.com/icseconf/posts/347429078742638
Matteo Camilli 
You must be logged in to post a comment.