Verified software theories, tools and experiments : 14th international conference, VSTTE 2022, Trento, Italy, October 17–18, 2022, revised selected papers - Lal, Akash; Tonetta, Stefano (Springer, 2023)
Keywords: Computer Science Logic and Foundations of Programming; Computer Hardware; Software Engineering; Computer System Implementation; Special Purpose and Application-Based Systems; Logic in AI.; Computer science; Computers; Software engineering; Computer systems; Computers, Special purpose; Logic programming; Konferenzschrift -- 2022 -- Trient