La lecture à portée de main
Auteur
Suivre Laurent Mauborgne
Documents
Representation of Sets of Trees for Abstract Interpretation
Laurent Mauborgne
Documents
Etudes supérieures
Representation of Sets of Trees for Abstract Interpretation
Laurent Mauborgne
504 pages
English
Documents
Improving the Representation of Infinite Trees to Deal with Sets of Trees
Laurent Mauborgne
Documents
Rapports de stage
Improving the Representation of Infinite Trees to Deal with Sets of Trees
Laurent Mauborgne
15 pages
English
Documents
ASTRÉE: VERIFICATION OF ABSENCEOF RUN TIME ERROR
Laurent Mauborgne
Documents
Rapports de stage
ASTRÉE: VERIFICATION OF ABSENCEOF RUN TIME ERROR
Laurent Mauborgne
8 pages
English