Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
9 results · clear filters Sort: newest oldest name
- Proceedings of the 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2024, Pasadena, CA, USA, 22 October 2024Computer and information sciencese11mbza
- Workshop on Numerical and Symbolic Abstract Domains (NSAD)Computer and information sciencess1234vv
- Proceedings of the 9th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2020, Virtual, USA, 17 November 2020Computer and information sciencese11mbyc
- Seventh Workshop on Numericaland Symbolic Abstract Domains, NSAD@SAS 2017, New York City, NY, USA, August 29, 2017Computer and information sciencese120p14
- Proceedings of the Sixth Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2016, Edinburgh, UK, September 11, 2016Computer and information sciencese120nya
- Fifth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2014, Munich, Germany, September 10, 2014Computer and information sciencese120n7s
- Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012Computer and information sciencese120mk1
- Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011Computer and information sciencese120mmz
- Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13, 2010Computer and information sciencese11mbxe