Suggested Topics within your search.
Suggested Topics within your search.
- Artificial intelligence 2
- Software Engineering
- Computer modelling & simulation 1
- Computer networking & communications 1
- Computer programming / software development 1
- Computer science 1
- Information technology: general issues 1
- Mathematical theory of computation 1
- Programming & scripting languages: general 1
- Systems analysis & design 1
-
1
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I
Published 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter -
2
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II
Published 2019“…Springer Nature…”
DOAB: download the publication
DOAB: description of the publication
Electronic Book Chapter