Skip to content
cs-conference-ranking.org

A Proof System for the Parallel Object-Oriented Language POOL.

Frank S. de Boer

VenueA*ICALP
Year1990
ProceedingsICALP
DBLP recordconf/icalp/Boer90 ↗

Browse the full ICALP paper archive.