Shay Gammer

Publication Activity (10 Years)

Years Active: 2007-2007
Publications (10 Years): 0

Publications

Orna Raz, Moshe Klausner, Nitzan Peleg, Gadi Haber, Eitan Farchi, Shachar Fienblit, Yakov S. Filiarsky, Shay Gammer, Sergey Novikov
The Advantages of Post-Link Code Coverage. Haifa Verification Conference (2007)