A Verification Tool Implementation using Introspection Mechanism.

Michel Metzger, Frdric Bastien, Frdric Rousseau, Julie Vachon, El Mostapha Aboulhamid

Browse the full FDL paper archive.