DMCA

Computational Logical Frameworks and Generic Program Analysis Technologies

by José Meseguer , Grigore Roşu