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 - 2025/05/19 ER -