Matthew Parkinson
Principal Researcher
Nouvelles et reportages
Chargement
Prix | Views: Compositional reasoning for concurrent programs
Views paper wins «Most Influential POPL 2013 paper»
Prix | jStar: towards practical verification for Java
jStar paper wins «Most Influential OOSPLA Paper 2008»