کتاب های Akash
Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (Lecture Notes in Computer Science)
Constantin Enea (editor), Akash Lal (editor), 2023
