TY -
GEN
AU - Lau, Kung-Kiu
TI -
Formal Aspects of Component Software: From Formal Methods to Software Components: Back to the Future?
PB - Springer International Publishing
SN - 0302-9743
SN - 1611-3349
PY - 2017
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -