Ori Lahav Author & Editor

Ori Lahav, Technion, Haifa, Israel. Liat Birnhack, Technion, Haifa, Israel.

Verification, Model Checking, and Abstract Interpretation cover

Verification, Model Checking, and Abstract Interpretation

3 contributors - Paperback

£59.99

Aquatic Chemistry cover

Aquatic Chemistry

2 authors - Paperback

£71.50