Back to Results
First PageMeta Content
Knowledge / Mathematical proof / Heuristic / Formal specification / Logic / Automated theorem proving / Formal methods / Mathematics / Problem solving


Intelligent Support for Systems Verification Werner Stephan, Lassaad Cheikhrouhou, Bruno Langenstein German Research Centre for Artificial Intelligence April 29, 2011
Add to Reading List

Document Date: 2013-10-30 13:20:15

Open Document

File Size: 1,54 MB

Share Result on Facebook
UPDATE