Showing 1 - 1 results of 1 for search 'Moritz Roidl', query time: 0.02s Refine Results
  1. 1
    Experience Report: Towards Moving Things with Types - Helping Logistics Domain Experts to Control Cyber-Physical Systems with Type-Based Synthesis
    by Jan Bessai, Moritz Roidl, Anna Vasileva
    Published 2019-12-01
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search