2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) Conference

Publications

related documents

DC2: A framework for scalable, scope-bounded software verification Conference Proceeding