Skip to main navigation Skip to search Skip to main content

A logical foundation for verification

Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review

Original languageEnglish
Title of host publicationProceedings of the 11th European Conference on Artificial Intelligence, ECAI'94
EditorsA.G. Cohn
PublisherWiley
Pages745-749
Number of pages5
Publication statusPublished - 1994

Persistent URL (handle)

Cite this