
Registered user since Tue 16 May 2017
Name:Kyle Headley
Contributions
Off the Beaten Track 2016 | Correct-by-Construction Interactive Software: From Declarative Specifications to Efficient Implementations | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2016-profile
View general profile
View general profile