cs-conference-ranking.org Search 971 venues

A Type System for Complexity Flow Analysis.

Jean-Yves Marion

Year2011

ProceedingsLICS

DBLP recordconf/lics/Marion11 ↗

Browse the full LICS paper archive.