Showing 1 - 1 results of 1 for search 'Petr Roc̆kai', query time: 0.02s Refine Results
  1. 1
    Abstracting Strings for Model Checking of C Programs

    Abstracting Strings for Model Checking of C Programs by Henrich Lauko, Martina Olliaro, Agostino Cortesi, Petr Roc̆kai

    Published 2020-11-01
    Get full text
    Article

Search Tools: