Numerical Software Verification: 12th International Workshop, NSV 2019, New York City, NY, USA, July 13–14, 2019, Proceedings: 11652 (Lecture Notes in Computer Science)
by Majid Zamani,Damien Zufferey
ISBN 13: 9783030284220
Format: Paperback (164 pages) Publisher: Springer Published: 03 Aug 2019
Save for later