Total Supervisions: 1

  • CLASS: A Logical Foundation For Typeful Programming With Shared State
    Pedro Rocha
    Luis Caires (advisor),
    Doctoral Thesis, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, 2017-02-01 - 2022-12-14