Normal view MARC view ISBD view

Verification, Model Checking, and Abstract Interpretation

Bernd Finkbeiner, Thomas Wies

Verification, Model Checking, and Abstract Interpretation - Springer Springer 2022

ISBN: 9783030945831

Source: EBOOK