Knowledge Formal Specifications for Formal Verification: a Proposal Based on the Integration of Different Logical Formalisms.

Marie-Christine Rousset

Browse the full ECAI paper archive.