Telecharger Cours

Formal Techniques for Java-like Programs (FTfJP) - Inria

This volume contains the proceedings of the conference on Computer-Aided. Verification (CAV 2001), held in Paris, Palais de la Mutualité, July 18?22, 2001.



Download