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

Powered by Koha