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)

Personal website: http://scholar.google.com/citations?user=dKA2bqcAAAAJ&hl=en

Contributions

FASE 2019Author of Tool Support for Correctness-by-Construction within the FASE 2019-track
ETAPS 2019Author of Tool Support for Correctness-by-Construction within the Posters-track
Show activities from other conferences

ETAPS 2019-profile
View general profile