Showing 1 - 1 results of 1 for search 'Tobias Runge', query time: 0.02s Refine Results
  1. 1
    Flexible Correct-by-Construction Programming

    Flexible Correct-by-Construction Programming by Tobias Runge, Tabea Bordis, Alex Potanin, Thomas Thüm, Ina Schaefer

    Published 2023-06-01
    Get full text
    Article

Search Tools: