M. Shochat
发表
Eitan Farchi,
Dan Pelleg,
Orna Raz,
2009,
2009 31st International Conference on Software Engineering - Companion Volume.
Eitan Farchi,
Orna Raz,
Moran Shochat,
2009,
Haifa Verification Conference.