Research directions in rewriting logic (0)

by J Meseguer
Venue:Computational Logic, NATO Advanced Study Institute