Reachability Problems 5th International Workshop, RP 2011, Genoa, Italy, September 28-30, 2011. Proceedings - RP 2011. 2011 : Genoa, Italy); Potapov, Igor.; Delzanno, Giorgio (Berlin, Heidelberg : Springer Berlin Heidelberg, 2011)
Keywords: Computer science; Software engineering; Computer Software; Logic design