No. Title Author Year
1 Unfolding-based Partial Order Reduction Rodríguez, César et al. 2015
2 Decision Procedures and Abstract Interpretation (Dagstuhl Seminar 14351) Kroening, Daniel et al. 2014
3 Next Generation Static Software Analysis Tools (Dagstuhl Seminar 14352) Cousot, Patrick et al. 2014
Current Page :
Number of result pages: 1
Number of documents: 3


DROPS-Home | Fulltext Search | Imprint Published by LZI