@article{article, title = {{From ODP viewpoint consistency to Integrated Formal Methods}},
url = {{}},
year = {{2012}},
month = {{1}},
author = {{Boiten EA and Derrick J}},
doi = {{10.1016/j.csi.2011.10.015}},
journal = {{Computer Standards and Interfaces}},
note = {{Accessed on 2025/08/13}}}