Showing 1 - 2 results of 2 for search 'Marco Servetto', query time: 0.02s Refine Results
  1. 1
    A Syntactic Model of Mutation and Aliasing

    A Syntactic Model of Mutation and Aliasing by Paola Giannini, Marco Servetto, Elena Zucca

    Published 2019-04-01
    Get full text
    Article
  2. 2
    Iteratively Composing Statically Verified Traits

    Iteratively Composing Statically Verified Traits by Isaac Oscar Gariano, Marco Servetto, Alex Potanin, Hrshikesh Arora

    Published 2019-08-01
    Get full text
    Article

Search Tools: