Hacker Newsnew | past | comments | ask | show | jobs | submitlogin

I'm only seeing the abstract here. Is there a link for the full tutorial?


The presentation hasn't happened yet. It will take place at ETAPS 2015: 11-18 April 2015, London, UK




Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: