Login / Signup

Program transformations using temporal logic side conditions.

Sara KalvalaRichard WarburtonDavid Lacey
Published in: ACM Trans. Program. Lang. Syst. (2009)
Keyphrases