Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Constantin Enea | lit.salon

Author

Constantin Enea

3 works

2019–2024 across 3 dated works

No biography is available yet.

Start with

Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings2019
With Ruzica Piskac
Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II2023
With Akash Lal
Networked Systems 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings2024
With Armando Castañeda, Nirupam Gupta

Books

3 works

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

Search booksSort books

Computer Aided Verification 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II2023
With Akash Lal
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Verification, Model Checking, and Abstract Interpretation 20th International Conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019, Proceedings2019
With Ruzica Piskac
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Networked Systems 12th International Conference, NETYS 2024, Rabat, Morocco, May 29-31, 2024, Proceedings2024
With Armando Castañeda, Nirupam Gupta
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 Constantin Enea.

The conversation is still open.

There is no public salon activity to show for Constantin Enea yet.