Showing 1 - 2 results of 2 for search 'Alvim, Mário S.', query time: 0.03s Refine Results
  1. 1
    Proceedings of the 13th Workshop on Programming Languages and Analysis for Security
    Published 2018
    Other Authors: “…Alvim, Mário S.…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday /
    Published 2019
    Other Authors: “…Alvim, Mário S.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search