- Jan Midtgaard, Matthew Might, editors, Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September 10, 2012. Volume 287 of Electronic Notes in Theoretical Computer Science, Elsevier, 2012.
- Damien Massé, Laurent Mauborgne, editors, Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD@SAS 2011, Venice, Italy, September 13, 2011. Volume 288 of Electronic Notes in Theoretical Computer Science, Elsevier, 2012.