Sven Beyer Christian Jacobi 0002 Daniel Kroening Dirk Leinenbach Wolfgang J. Paul Instantiating Uninterpreted Functional Units and Memory System: Functional Verification of the VAMP. 51-65 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2860&spage=51 2003 conf/charme/2003 CHARME db/conf/charme/charme2003.html#BeyerJKLP03