• Sign in
  • Sign up
conf.researchr.org / Derrick Kourie
  • ETAPS 2019 profile
  • SPLASH 2018 profile

Not registered as user yet

Name:Derrick Kourie
Affiliation:Stellenbosch University

Contributions

FASE 2019 Author of Tool Support for Correctness-by-Construction within the FASE 2019-track
ETAPS 2019 Author of Tool Support for Correctness-by-Construction within the Posters-track
HILT 2018 Author of Tool support for Confidentiality by Construction within the HILT 2018-track

Share
xWed 17 Aug 09:41
using conf.researchr.org (v1.56.0)
Support page
Sign Up