DMCA

Program transformations using temporal logic side conditions (2009)

by Sara Kalvala , Richard Warburton , David Lacey
Venue:In SEFM ’06: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Citations:5 - 2 self