The University of Warwick Library - WebBridge

Program transformations using temporal logic side conditions
Kalvala, Sara.  ACM Transactions on Programming Languages and Systems.  v. Volume 31. no. Number 4.   2009-05. .   

Online access not found

Sorry - based on the information provided, WebBridge cannot offer appropriate links.