Static Analysis 18th International Symposium, SAS 2011, Venice, Italy, September 14-16, 2011. Proceedings - SAS 2011. 2011 : Venice, Italy); Yahav, Eran. (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Logic design; Computer simulation