TY -
GEN
AU - Holzmann, Gerard J.
TI -
Cobra: a light-weight tool for static and dynamic program analysis
PB - Springer Science and Business Media LLC
SN - 1614-5046
SN - 1614-5054
KW - Software
PY - 2017
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -