TY - GEN digital ID - 131377615 TI - Formal Methods, Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers AU - Simao, Adenilso AU - Morgan, Carroll PY - 2011 SN - 9783642250323 PB - Berlin, Heidelberg Springer Berlin Heidelberg DB - UniCat KW - Mathematical logic KW - Logic KW - Computer science KW - Programming KW - Computer. Automation KW - ontwerpen KW - programmeren (informatica) KW - programmeertalen KW - wiskunde KW - software engineering KW - informatica management UR - https://www.unicat.be/uniCat?func=search&query=sysid:131377615 AB - ER -