ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
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)

Contributions

FASE 2019 Tool Support for Correctness-by-Construction
ETAPS 2019 Tool Support for Correctness-by-Construction
Show activities from other conferences

ETAPS 2019-profile
View general profile