Enea, C., & Lal, A. (2023). Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III (1.). Springer Nature. https://doi.org/10.1007/978-3-031-37709-9
Citace podle Chicago (17th ed.)Enea, Constantin, a Akash Lal. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. 1. Cham: Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9.
Citace podle MLA (9th ed.)Enea, Constantin, a Akash Lal. Computer Aided Verification: 35th International Conference, CAV 2023, Paris, France, July 17–22, 2023, Proceedings, Part III. 1. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..