Eddie B. de Lima Filho

ESBMC-Python aide à vérifier la correctitude du code Python en utilisant des annotations de type et un modèle de vérification bornée.