2 Ebooks by Nadia Polikarpova
Nadia Polikarpova & Steve Schneider: Integrated Formal Methods
This book constitutes the refereed proceedings of the 13th International Conference on Integrated Formal Methods, IFM 2017, held in Turin, Italy, in September 2017.The 24 full papers and 4 short pape …
EPUB
English
DRM
€57.88
Maria Christakis & Parasara Sridhar Duggirala: Software Verification
This book constitutes the refereed proceedings of the 12th International Conference on Verified Software, VSTTE 2020, and the 13th International Workshop on Numerical Software Verification, NSV 2020, …
EPUB
English
DRM
€57.78
