• Full Lince
  • Development
  • Publications
    • An Adequate While-Language for Hybrid Computation (PPDP 2019)
    • A Semantics for Hybrid Iteration (CONCUR 2018)
    • Hybrid Programs (PhD thesis 2018)
  • Back to ArcaTools
Copyright 2017-2020 – ARCA.di.uminho.pt