• Sign in
  • Sign up
conf.researchr.org / Vladimir Klebanov
  • ECOOP 2015 profile
  • ECOOP 2016 profile
Vladimir Klebanov

Registered user since Fri 5 Feb 2016

Name:Vladimir Klebanov
Affiliation:Karlsruhe Institute of Technology
Personal website: http://formal.iti.kit.edu/~klebanov/

Contributions

2016

FTfJP

  • Session Chair of Invited talk (part of FTfJP)
  • Chair in Program Committee within the FTfJP-track
  • Author of Opening within the FTfJP-track
  • Session Chair of Session 4 (part of FTfJP)

2015

FTfJP

  • Author of Regression Verification for Java Using a Secure Information Flow Calculus within the FTfJP-track
Share
xMon 12 May 09:37
using conf.researchr.org (v1.69.0)
Support page
Sign Up