An Abstract Interpretation Framework for Verification of Timed Concurrent Constraint Languages

Laura Titolo
July 2013
PDF Cite
Type
Journal article
Publication
Theory and Practice of Logic Programming, Volume 13(4-5-Online-Supplement)