DMCA

Specification and Proof in Membership Equational Logic (1996)

by Adel Bouhoula , Jean-pierre Jouannaud , José Meseguer
Venue:THEORETICAL COMPUTER SCIENCE
Citations:129 - 52 self