Publications

Verification by construction in MILORD

Publication Type:

Conference Paper

Source:

Proceedings of EUROVAV'91: European Workshop on Validation and Verification of Knowledge Based Systems, Logica Cambridge (1991)