Specification and Proof in Membership Equational Logic (1996)

Cached

Download Links

by Adel Bouhoula , Jean-pierre Jouannaud , Jos'e Meseguer
Venue:Theoretical Computer Science
Citations:104 - 49 self