Julian Salamanca

PhD student

Full Name J.R. Salamanca
Function(s) PhD student
Telephone +31 20 592
Room L215
Department(s) Formal Methods

Publications

Projects

  • EcoPro
    Enhancing eciency and expressiveness of the coinduction proof method