TY - GEN digital ID - 147697568 TI - Automated Technology for Verification and Analysis : 21st International Symposium, ATVA 2023, Singapore, October 24-27, 2023, Proceedings, Part II AU - André, Étienne AU - Sun, Jun PY - 2023 SN - 9783031453328 9783031453311 9783031453335 PB - Cham Springer Nature, Imprint: Springer DB - UniCat KW - Computer science KW - Computer architecture. Operating systems KW - Artificial intelligence. Robotics. Simulation. Graphics KW - Computer. Automation KW - toegepaste informatica KW - computers KW - informatica KW - hardware KW - software engineering KW - AI (artificiële intelligentie) KW - computerkunde UR - https://www.unicat.be/uniCat?func=search&query=sysid:147697568 AB - ER -