Cover Image
Read Now

1
Published 2020
Springer International Publishing
Table of Contents: “... -- A Library Modeling Language for the Static Analysis of C Programs -- Interprocedural Shape Analysis...”
Cover Image
Read Now

2
Published 2022
Springer International Publishing
Table of Contents: “... for Cryptographic Protocol Analysis -- Maude as a Library: An Efficient All-Purpose Programming Interface...”
Cover Image
Read Now

3
Published 1990
Springer Berlin Heidelberg
Table of Contents: “...LEDA: A library of efficient data types and algorithms -- A new universal class of hash functions...”