Specification and Proof in Membership Equational Logic (1996)

View PDF

Download Links

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