Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Workshop on Numerical and Symbolic Abstract Domains (NSAD)

> 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

7th NSAD@SAS 2017: New York, NY, USA

- view
- export record
  dblp key:
  - conf/nsad/2017
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/2017
Francesca Scozzari:
Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017. Electronic Notes in Theoretical Computer Science 334, Elsevier 2018 [contents]

6th NSAD@SAS 2016: Edinburgh, UK

- view
- export record
  dblp key:
  - conf/nsad/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/2016
Isabella Mastroeni:
Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016. Electronic Notes in Theoretical Computer Science 331, Elsevier 2017 [contents]

5th NSAD@SAS 2014: Munich, Germany

- view
- export record
  dblp key:
  - conf/nsad/2014
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/2014
Axel Simon, Arnaud Venet:
Fifth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2014, Munich, Germany, September 10, 2014. Electronic Notes in Theoretical Computer Science 307, Elsevier 2014 [contents]

4th NSAD@SAS 2012: Deauville, France

- view
- export record
  dblp key:
  - conf/nsad/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/2012
Jan Midtgaard, Matthew Might:
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012. Electronic Notes in Theoretical Computer Science 287, Elsevier 2012 [contents]

3rd NSAD@SAS 2011: Venice, Italy

- view
- export record
  dblp key:
  - conf/nsad/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/2011
Damien Massé, Laurent Mauborgne:
Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011. Electronic Notes in Theoretical Computer Science 288, Elsevier 2012 [contents]

2nd NSAD@SAS 2010: Perpignan, France

- view
- export record
  dblp key:
  - conf/nsad/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nsad/2010
Antoine Miné, Enric Rodríguez-Carbonell:
Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010. Electronic Notes in Theoretical Computer Science 267(1), Elsevier 2010 [contents]

1st NSAD@VMCAI 2005: Paris, France

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.