Cover Image
Read Now

1
Published 2019
Springer International Publishing
“... Technology for Verification and Analysis, ATVA 2019, held in Taipei, Taiwan in October 2019. The 24 regular...”