TitleVerification by construction in MILORD
Publication TypeConference Paper
Year of Publication1991
AuthorsSierra C, Agustí-Cullell J, Plaza E
Conference NameProceedings of EUROVAV'91: European Workshop on Validation and Verification of Knowledge Based Systems
PublisherLogica Cambridge