Skip to content
cs-conference-ranking.org

Operational Semantics of OBJ-3 (Extended Abstract).

Claude Kirchner, Hlne Kirchner, Jos Meseguer

VenueA*ICALP
Year1988
ProceedingsICALP
DBLP recordconf/icalp/KirchnerKM88 ↗

Browse the full ICALP paper archive.