Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

International Workshop on Numerical Software Verification (NSV)

> Home > Conferences and Workshops

Venue statistics

records by year

document access Please note:
▪ This facet is still work in progress.
▪ Open access information for publications is still rather incomplete.

frequent authors

Venue Information

is part of: International Conference on Computer Aided Verification (CAV)

15th NSV@CAV 2022: Haifa, Israel

- view
  authority control:
- export record
  dblp key:
  - conf/cav/2022nsv
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2022nsv
Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi:
Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings. Lecture Notes in Computer Science 13466, Springer 2022, ISBN 978-3-031-21221-5 [contents]

12th NSV@CAV 2019: New York City, NY, USA

- view
  authority control:
- export record
  dblp key:
  - conf/cav/2019nsv
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2019nsv
Majid Zamani, Damien Zufferey:
Numerical Software Verification - 12th International Workshop, NSV@CAV 2019, New York City, NY, USA, July 13-14, 2019, Proceedings. Lecture Notes in Computer Science 11652, Springer 2019, ISBN 978-3-030-28422-0 [contents]

10th NSV@CAV 2017: Heidelberg, Germany

- view
  authority control:
- export record
  dblp key:
  - conf/cav/2017nsv
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2017nsv
Alessandro Abate, Sylvie Boldo:
Numerical Software Verification - 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings [collocated with CAV 2017]. Lecture Notes in Computer Science 10381, Springer 2017, ISBN 978-3-319-63500-2 [contents]

9th NSV@CAV 2016: Toronto, ON, Canada

- view
  authority control:
- export record
  dblp key:
  - conf/cav/2016nsv
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/2016nsv
Sergiy Bogomolov, Matthieu Martel, Pavithra Prabhakar:
Numerical Software Verification - 9th International Workshop, NSV 2016, Toronto, ON, Canada, July 17-18, 2016, [collocated with CAV 2016], Revised Selected Papers. Lecture Notes in Computer Science 10152, 2017, ISBN 978-3-319-54291-1 [contents]

7th NSV 2014: Vienna, Austria / 8th NSV 2015: Seattle, WA, USA

- view
- export record
  dblp key:
  - conf/nsv/2015
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsv/2015
Sergiy Bogomolov, Matthieu Martel:
Seventh and Eighth International Workshops on Numerical Software Verification, NSV 2014, Vienna, Austria, July 17-18, 2014 & NSV 2015, Seattle, WA, USA, April 13, 2015. Electronic Notes in Theoretical Computer Science 317, Elsevier 2015 [contents]

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.