DMCA

Correctness Proofs of Transformation Schemas (1997)

by Pierre Flener
Venue:Bilkent University, Department of Computer Science
Citations:2 - 2 self