Proving Correctness of Timed Concurrent Constraint Programs.

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo

Browse the full FOSSACS paper archive.