Shoham Ben-David, Cindy Eisner, et al.
Formal Methods in System Design
Shoham Ben-David, Cindy Eisner, et al.
Formal Methods in System Design
Cindy Eisner, Dana Fisman
FMCAD 2008
Cindy Eisner
International Journal on Software Tools for Technology Transfer
Fady Copty, Cindy Eisner, et al.
ACSAC 2018