Akash Lal
Identifiers
- Open LibraryOL7863488A
Top Subjects
- Artificial intelligence (1)
- Computer algorithms (1)
- Computer software, development (1)
- Computer networks (1)
Books by Akash Lal
Total count: 3
-
Verification, Model Checking, and Abstract Interpretation16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015, ProceedingsSpringer London, Limited2014-01-01
-
Computer Aided Verification35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part ISpringer2023-01-01
-
Verified Software. Theories, Tools and Experiments14th International Conference, VSTTE 2022, Trento, Italy, October 17-18, 2022, Revised Selected PapersSpringer International Publishing AG2023-01-01