MPG.eBooks - Search Results - "Foundations"

Cover Image

1

Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings

Published 2016

Springer International Publishing

Subjects: “...Computer Science Logic and Foundations of Programming...”