@inproceedings{inproceedings, title = {{Correctness of Object Oriented Models by Extended Type Inference.}}, publisher = {{Springer}}, url = {{https://doi.org/10.1007/978-3-642-32943-2 }}, year = {{2012}}, month = {{1}}, author = {{Foster S and Rypacek O and Struth G}}, isbn = {{978-3-642-32942-5}}, volume = {{7521}}, journal = {{ICTAC}}, pages = {{46-60}}, note = {{Accessed on 2025/05/21}}}