Marie-Christine Rousset. Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical Formalisms. In ECAI. pages 739-743, 1994.
@inproceedings{Rousset94,
title = {Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical Formalisms},
author = {Marie-Christine Rousset},
year = {1994},
tags = {rule-based},
researchr = {https://researchr.org/publication/Rousset94},
cites = {0},
citedby = {0},
pages = {739-743},
booktitle = {ECAI},
}