Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Akash Lal | lit.salon

Author

Akash Lal

3 works

2014–2023 across 3 dated works

No biography is available yet.

Start with

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings2014
With Deepak D'Souza, Kim Guldstrand Larsen
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II2023
With Constantin Enea
Verified Software. Theories, Tools and Experiments 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers2023
With Stefano Tonetta

Books

3 works

Featured (3)Featured (3)All (3)All (3)

Search booksSort books

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, Proceedings2014
With Deepak D'Souza, Kim Guldstrand Larsen
2 editions
shelves
0
reviews
0
lists
0
quotes
0
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II2023
With Constantin Enea
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Verified Software. Theories, Tools and Experiments 14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected Papers2023
With Stefano Tonetta
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Akash Lal.

The conversation is still open.

There is no public salon activity to show for Akash Lal yet.