نتایج جستجو
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Kenneth L. McMillan (auth.), 2011
Scalable Uncertainty Management: 5th International Conference, SUM 2011, Dayton, OH, USA, October 10-13, 2011. Proceedings
Joseph Y. Halpern (auth.), 2011
