Un aperçu de comment la logique de trace aide à la vérification des programmes récursifs.
Dilian Gurov, Reiner Hähnle
― 7 min lire
La science de pointe expliquée simplement
Un aperçu de comment la logique de trace aide à la vérification des programmes récursifs.
Dilian Gurov, Reiner Hähnle
― 7 min lire