Constantin Enea

Identifiers

Open LibraryOL8000701A

Top Subjects

Artificial intelligence (1)
Computer algorithms (1)
Computer software, development (1)
Computer networks (1)

Books by Constantin Enea

Total count: 3

Verification, Model Checking, and Abstract Interpretation20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings

Springer2019-01-11
Computer Aided Verification35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I

Springer2023-01-01
Networked Systems12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings

Springer2024-01-01