| Original language | English |
|---|---|
| Title of host publication | Proceedings of the 11th European Conference on Artificial Intelligence, ECAI'94 |
| Editors | A.G. Cohn |
| Publisher | Wiley |
| Pages | 745-749 |
| Number of pages | 5 |
| Publication status | Published - 1994 |
A logical foundation for verification
J. Treur, Mark Willems
Research output: Chapter in Book / Report / Conference proceeding › Conference contribution › Academic › peer-review