DMCA

Variant Narrowing and Equational Unification (2009)

by Santiago Escobar , José Meseguer , Ralf Sasse
Venue:In Proc. of WRLA 2008, ENTCS
Citations:13 - 7 self