Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis by Dang Van Hung, Mizuhito Ogawa.

Published by Springer International Publishing AG, (2020), Paperback, 574 pages.

Topics: Automatic theorem proving, Software engineering, Computer science, Computer Communication Networks.