Skip to content

On Bounded Reachability of Programs with Set Comprehensions.

Margus Veanes, Ando Saabas

VenueBLPAR
Year2008
ProceedingsLPAR

Browse the full LPAR paper archive.