Formal verification in hardware design: a survey
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Reasoning Inductively about Z Specifications via Unification
ZB '00 Proceedings of the First International Conference of B and Z Users on Formal Specification and Development in Z and B
Computing with features as formulae
Computational Linguistics
Supporting Dispute Handling in E-Commerce Transactions, a Framework and Related Methodologies
Electronic Commerce Research
Encyclopedia of Computer Science
Hardness and Approximability of the Inverse Scope Problem
WABI '08 Proceedings of the 8th international workshop on Algorithms in Bioinformatics
Automatic Generation of Implied Constraints
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
Resolution with Limited Factoring
AICI '09 Proceedings of the International Conference on Artificial Intelligence and Computational Intelligence
Validation of Proofs Using PhoX
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal analysis of design process dynamics
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
COMBINE: a tool on combined formal methods for bindingly verification
ATVA'10 Proceedings of the 8th international conference on Automated technology for verification and analysis
Checking herbrand equalities and beyond
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
| Hi-index | 0.00 |