Books by Akash Lal

Cover of Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

by Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen

2014

Cover of Computer Aided Verification

Computer Aided Verification

by Constantin Enea, Akash Lal

2023

Cover of Verified Software. Theories, Tools and Experiments

Verified Software. Theories, Tools and Experiments

by Akash Lal, Stefano Tonetta

2023

Detection of forest fires by satellite

Detection of forest fires by satellite

by Lal-Akash Lal

1996

Can't find the book you're looking for? Let us know — it helps us improve.