TY - GEN digital ID - 131154323 TI - Formal Methods and Software Engineering (vol. # 4260) : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings AU - Liu, Zhiming AU - He, Jifeng PY - 2006 SN - 9783540474623 PB - Berlin Heidelberg Springer-Verlag GmbH DB - UniCat KW - Computer science KW - Programming KW - Computer. Automation KW - programmeren (informatica) KW - programmeertalen KW - software engineering UR - https://www.unicat.be/uniCat?func=search&query=sysid:131154323 AB - ER -