Reiner Hähnle

Un aperçu des contrats intelligents, leur fonctionnement, leurs avantages et les préoccupations de sécurité.

Un aperçu de comment la logique de trace aide à la vérification des programmes récursifs.