Static Analysis 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings / Hermenegildo, Manuel V.

Author/creator Hermenegildo, Manuel V.
Other author Morales, José F.
Other author SpringerLink (Online service)
Format Electronic
Edition1st ed. 2023.
Publication Info[S.l.] : Springer Nature Switzerland,
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from Springer Nature - Springer Computer Science (R0) eBooks 2023 English International

General noteTitle from content provider.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.

Availability

Library Location Call Number Status Item Actions
Electronic Resources Access Content Online ✔ Available