TY  - CONF

T1  - Correctness of Object Oriented Models by Extended Type Inference.

JO  - ICTAC

UR  - https://doi.org/10.1007/978-3-642-32943-2

PY  - 2012/01/01

AU  - Foster S

AU  - Rypacek O

AU  - Struth G

ED  - Roychoudhury A

ED  - D'Souza M

PB  - Springer

SN  - 978-3-642-32942-5

VL  - 7521

SP  - 46

EP  - 60

Y2  - 2024/12/22

ER  -