researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
Links
Filter by Year
OR
AND
NOT
1
2010
2012
2014
2017
2018
Filter by Tag
Filter by Author
Filter by Top terms
[+]
OR
AND
NOT
1
10
11
13
2010
2011
2012
2014
2016
2017
29
abstract
domains
france
international
nsad@sas
numerical
proceedings
september
symbolic
workshop
NSAD (NSAD)
Editions
Publications
Viewing Publication 1 - 6 from 6
2018
Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017
Francesca Scozzari
, editor,
Volume 334 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2018.
[doi]
2017
Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016
Isabella Mastroeni
, editor,
Volume 331 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2017.
[doi]
2014
Fifth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2014, Munich, Germany, September 10, 2014
Axel Simon
,
Arnaud Venet
, editors,
Volume 307 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2014.
[doi]
2012
Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011
Damien Massé
,
Laurent Mauborgne
, editors,
Volume 288 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2012.
[doi]
Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012
Jan Midtgaard
,
Matthew Might
, editors,
Volume 287 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2012.
[doi]
2010
Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010
Antoine Miné
,
Enric Rodríguez-Carbonell
, editors,
Volume 267 of
Electronic Notes in Theoretical Computer Science
, Elsevier,
2010.
[doi]
Sign in
or
sign up
to see more results.