TY -
BOOK
AU - Knoop, Jens
AU - Steffen, Bernhard
TI -
Efficient and optimal bit-vector data flow analyses
a uniform interprocedural framework
PB - Inst. für Informatik und Praktische Mathematik
PY - 1993
BT - Bericht / Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität Kiel ; 9309
CY - Kiel
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -