TY - GEN digital ID - 131228726 TI - Automated Technology for Verification and Analysis : 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009. Proceedings AU - Liu, Zhiming AU - Ravn, Anders P. PY - 2009 SN - 9783642047619 PB - Berlin, Heidelberg Springer-Verlag Berlin Heidelberg DB - UniCat KW - Mathematical logic KW - Complex analysis KW - Computer science KW - Programming KW - Computer. Automation KW - complexe analyse (wiskunde) KW - programmeren (informatica) KW - programmeertalen KW - wiskunde KW - software engineering KW - logica UR - https://www.unicat.be/uniCat?func=search&query=sysid:131228726 AB - ER -