Skip to content
cs-conference-ranking.org

Unwinding and Inference Control.

Joseph A. Goguen, Jos Meseguer

VenueA*SP
Year1984
ProceedingsS&P
DBLP recordconf/sp/GoguenM84 ↗

Browse the full SP paper archive.