Formal analysis by abstract interpretation (e-book)
Aziz, Benjamin
Formal analysis by abstract interpretation (e-book) - Berlin Springer 2022 - SpringerBriefs in Applied Sciences and Technology .
978-3-030-91153-9
Formal analysis by abstract interpretation (e-book) - Berlin Springer 2022 - SpringerBriefs in Applied Sciences and Technology .
978-3-030-91153-9