Daphna Amit

Publication Activity (10 Years)

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

Publications

Daphna Amit, Noam Rinetzky, Thomas W. Reps, Mooly Sagiv, Eran Yahav
Comparison Under Abstraction for Verifying Linearizability. CAV (2007)