DMCA

Specifying and Verifying Program Transformations with PTRANS (2014)

Cached

Download Links

by William Ernest Mansky
Citations:1 - 0 self