TY  - JOUR

T1  - From ODP viewpoint consistency to Integrated Formal Methods

JO  - Computer Standards and Interfaces

PY  - 2013/03/01

AU  - Boiten EA

AU  - Derrick J

ED  - 

DO  - DOI: 10.1016/j.csi.2011.10.015

Y2  - 2025/11/27

ER  -