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

Not registered as user

Name:Derrick Kourie
Affiliation:Stellenbosch University

Contributions

2019

ETAPS

  • Author of Tool Support for Correctness-by-Construction within the Posters-track

FASE

  • Author of Tool Support for Correctness-by-Construction within the FASE 2019-track

2018

HILT

  • Author of Tool support for Confidentiality by Construction within the HILT 2018-track
Share
xFri 23 May 19:30
using conf.researchr.org (v1.69.0)
Support page
Sign Up