Skip to content
cs-conference-ranking.org

3-Valued Abstraction: More Precision at Less Cost.

Sharon Shoham, Orna Grumberg

VenueA*LICS
Year2006
ProceedingsLICS
DBLP recordconf/lics/ShohamG06 ↗

Browse the full LICS paper archive.