1.
Static Analysis 11th International Symposium, Sas 2004, Verona, Italy, August 26-28, 2004, P...
by Giacobazzi, Roberto
ISBN: 9783540227915
List Price: $78.00
4.
Proceedings of the 7th Workshop on Programming Languages Meets Program Verification
by Giacobazzi, Roberto
ISBN: 9781450318600
List Price: $10.00
OUT OF STOCK
See Availability on Amazon5.
Analysis, Verification and Transformation for Declarative Programming and Intelligent System...
by Lopez-Garcia, Pedro, Gallag...
ISBN: 9783031314759
List Price: $139.99