SPLASH 2013
Sat 26 - Thu 31 October 2013 Indianapolis, United States
SPLASH 2013 (series) / Gernot Heiser

Not registered as user yet

Name:Gernot Heiser
Affiliation:NICTA and UNSW
Personal website:http://www.cse.unsw.edu.au/~gernot/

Contributions

SPLASH 2013 Code Optimizations Using Formally Verified Properties
Show activities from other conferences

SPLASH 2013-profile
View general profile