• Sign in
  • Sign up
conf.researchr.org / Lucas Wagner
  • SPLASH 2018 profile
Lucas Wagner

Registered user since Mon 1 May 2017

Name:Lucas Wagner

Contributions

2018

HILT

  • Speaker of SpeAR – Using a formal specification language for safety and security within the HILT 2018-track
  • Panelist of Panel on Language-based Security within the HILT 2018-track
  • Committee Member in Program Committee within the HILT 2018-track
Share
xWed 21 May 06:29
using conf.researchr.org (v1.69.0)
Support page
Sign Up