Research into verifiable languages for embedded systemshttp://www-verimag.imag.fr/SYNCHRONE/ by dkersten • 17 years ago 3 0 17 years agoWWwww-verimag.imag.fr