Home / Authors / Peled, Doron A.

Books by Peled, Doron A.

All books by this author

1 books found
Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings (Volume 3707)
Automated Technology for Verification and Analysis: Third I…
By: Peled, Doron A.
View Details