TY - GEN
AU - Cheng, Betty H. C.
TI - Integrating object-oriented analysis and formal specifications
PB - Association for Computing Machinery (ACM)
SN - 0163-5948
KW - General Medicine
PY - 2000
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation