Current Status of SmartTools

INRIADidier.Parigot@inria.fr SmartTools demonstration at GPCE'04 October (page2)