Number of items: 1.
Kalvala, Sara, Warburton, Richard and Lacey, David.
(2009)
Program transformations using temporal logic side conditions.
ACM Transactions on Programming Languages and Systems (TOPLAS), Vol.31
(No.4).
p. 14.
ISSN 0164-0925
This list was generated on Sat May 18 11:41:51 2013 BST.
