Back to Search Start Over

A logical foundation for verification

Authors :
Jan Treur
Mark Willems
Cohn, A.G.
Source :
Vrije Universiteit Amsterdam, Treur, J & Willems, M 1994, A logical foundation for verification . in A G Cohn (ed.), Proceedings of the 11th European Conference on Artificial Intelligence, ECAI'94 . Wiley, pp. 745-749 .

Details

Database :
OpenAIRE
Journal :
Vrije Universiteit Amsterdam, Treur, J & Willems, M 1994, A logical foundation for verification . in A G Cohn (ed.), Proceedings of the 11th European Conference on Artificial Intelligence, ECAI'94 . Wiley, pp. 745-749 .
Accession number :
edsair.dedup.wf.001..9c8a4297ace1ba046cc12ab301c87bf8

Tools

Authors Abstract Subjects Details