Skip to content

A Total Approach to Partial Algebraic Specification.

Jos Meseguer, Grigore Rosu

VenueA*ICALP
Year2002
ProceedingsICALP

Browse the full ICALP paper archive.