Showing 1 - 1 results of 1 for search 'Joost Visser', query time: 0.02s Refine Results
  1. 1
    Computer Aided Verification of Relational Models by Strategic Rewriting

    Computer Aided Verification of Relational Models by Strategic Rewriting by Claudia Mónica Necco, José N. Oliveira, Joost Visser, Roberto Uzal

    Published 2017-10-01
    Get full text
    Article

Search Tools: