Showing 1 - 1 results of 1 for search 'FIRST AID', query time: 0.80s Refine Results
  1. 1
    Infeasible Path Detection : a Formal Model and an Algorithm
    by Aïssat, Romain
    Published 2017
    “... modélisé notre approche et prouvé formellement, à l'aide de l'assistant de preuve interactif Isabelle/HOL...”
    Get full text
Search Tools: Get RSS Feed — Email this Search