Search for persons
X
?
Proceedings of the ACM SIGPLAN 2014 Workshop on Programming Languages meets Program Verification ,
6
Programming languages for high-assurance autonomous vehicle..:
, In:
?
Proceedings of the 19th ACM SIGPLAN international conference on Functional programming ,
7