Automated Analysis of Data-Dependent Programs with Dynamic Memory
Paper in proceeding, 2009
Author
Ran Ji
Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)
Parosh Aziz Abdulla
Jonathan Cederberg
Muhsin Atto
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 5799 Lecture Notes in Computer Science 197-212978-3-642-04760-2 (ISBN)
Subject Categories
Computer Science
ISBN
978-3-642-04760-2