Author

Akash Lal

3 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

3 books
Computer Aided Verification

Computer Aided Verification

Year unknown Constantin Enea and Akash Lal
Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

Year unknown Deepak D'Souza, Akash Lal, and Kim Guldstrand Larsen
Verified Software. Theories, Tool...

Verified Software. Theories, Tools and Experiments

Year unknown Akash Lal and Stefano Tonetta

Fetched from OpenLibrary. Some translations may appear as separate works.