Workshop paper
Model checking the garbage collection mechanism of SMV
Cindy Eisner
Electronic Notes in Theoretical Computer Science
Cindy Eisner
Electronic Notes in Theoretical Computer Science
Cindy Eisner, Dana Fisman
FMCAD 2008
Cindy Eisner, Dana Fisman, et al.
ACM TOCL
Cindy Eisner
International Journal on Software Tools for Technology Transfer