ETAPS 2019 (series) / Loek Cleophas
Registered user since Sat 2 May 2015
Name:Loek Cleophas
Country:Netherlands
Affiliation:Eindhoven University of Technology (TU/e) and Stellenbosch University (SU)
Personal website:http://scholar.google.com/citations?user=dKA2bqcAAAAJ&hl=en
Contributions
| ETAPS 2019 | Tool Support for Correctness-by-Construction | ||||||||||||||||||||||||||||||||||||||||
| FASE 2019 | Tool Support for Correctness-by-Construction | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ETAPS 2019-profile
View general profile
View general profile