نتایج جستجو
Static Analysis: 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005. Proceedings
Samson Abramsky (auth.), 2005
Static Analysis: 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006. Proceedings
Manuvir Das (auth.), 2006
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
Rastislav Bodik (auth.), 2009
Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings
Rastislav Bodik (auth.), 2009
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
E. Allen Emerson (auth.), 2011
Static Analysis: 17th International Symposium, SAS 2010, Perpignan, France, September 14-16, 2010. Proceedings
E. Allen Emerson (auth.), 2011
Static Analysis: 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings
Kenneth L. McMillan (auth.), 2011
