DMCA

Verifying and Reasoning about Programs (2011)

by Supratik Chakraborty , Amit Kumar , Supratik Chakraborty