TY - BOOK ID - 127218438 TI - Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International conference, FMOODS 2005, Athens, Greece, June 2005 : proceedings AU - Steffen, Martin AU - International conference on formal methods for open object-based distributed systems (07th : 2005 : Athens, Greece) PY - 2005 SN - 9783540261810 3540261818 PB - Berlin: Springer, DB - UniCat KW - Electronic data processing KW - Object-oriented programming (Computer science) UR - https://www.unicat.be/uniCat?func=search&query=sysid:127218438 AB - ER -