Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Shankar, Natarajan
2009.
Automated deduction for verification.
ACM Computing Surveys,
Vol. 41,
Issue. 4,
p.
1.
Nipkow, Tobias
2010.
Linear Quantifier Elimination.
Journal of Automated Reasoning,
Vol. 45,
Issue. 2,
p.
189.
Kramer, Simon
and
Bradfield, Julian C.
2010.
A general definition of malware.
Journal in Computer Virology,
Vol. 6,
Issue. 2,
p.
105.
Hasan, Osman
and
Tahar, Sofiène
2010.
Formally Analyzing Expected Time Complexity of Algorithms Using Theorem Proving.
Journal of Computer Science and Technology,
Vol. 25,
Issue. 6,
p.
1305.
Hasan, Osman
and
Tahar, Sofiène
2010.
Abstract State Machines, Alloy, B and Z.
Vol. 5977,
Issue. ,
p.
2.
Nievergelt, Yves
2010.
94.38 The truth table of the logical implication.
The Mathematical Gazette,
Vol. 94,
Issue. 531,
p.
509.
Akbarpour, Behzad
and
Paulson, Lawrence Charles
2010.
MetiTarski: An Automatic Theorem Prover for Real-Valued Special Functions.
Journal of Automated Reasoning,
Vol. 44,
Issue. 3,
p.
175.
Hasan, Osman
Patel, Jigar
and
Tahar, Sofiene
2010.
On the accurate reliability analysis of combinational circuits using theorem proving.
p.
273.
Almeida, José Bacelar
Frade, Maria João
Pinto, Jorge Sousa
and
Melo de Sousa, Simão
2011.
Rigorous Software Development.
p.
81.
Barthe, Gilles
and
Kopf, Boris
2011.
Information-Theoretic Bounds for Differentially Private Mechanisms.
p.
191.
Almeida, José Bacelar
Frade, Maria João
Pinto, Jorge Sousa
and
Melo de Sousa, Simão
2011.
Rigorous Software Development.
p.
45.
Grégoire, Benjamin
Pottier, Loïc
and
Théry, Laurent
2011.
Automated Deduction in Geometry.
Vol. 6301,
Issue. ,
p.
42.
Asperti, Andrea
and
Tassi, Enrico
2011.
Superposition as a logical glue.
Electronic Proceedings in Theoretical Computer Science,
Vol. 53,
Issue. ,
p.
1.
Hasan, Osman
and
Tahar, Sofiène
2011.
Reconfigurable Embedded Control Systems.
p.
342.
Mashkoor, Atif
and
Hasan, Osman
2012.
Computational Science and Its Applications – ICCSA 2012.
Vol. 7335,
Issue. ,
p.
419.
Weissenbacher, Georg
2012.
Theory and Applications of Satisfiability Testing – SAT 2012.
Vol. 7317,
Issue. ,
p.
312.
Liu, Tianhai
Nagel, Michael
and
Taghdiri, Mana
2012.
Bounded Program Verification Using an SMT Solver: A Case Study.
p.
101.
Marić, Filip
Petrović, Ivan
Petrović, Danijela
and
Janičić, Predrag
2012.
Formalization and Implementation of Algebraic Methods in Geometry.
Electronic Proceedings in Theoretical Computer Science,
Vol. 79,
Issue. ,
p.
63.
Strannegård, Claes
Häggström, Olle
Wessberg, Johan
and
Balkenius, Christian
2012.
Artificial General Intelligence.
Vol. 7716,
Issue. ,
p.
302.
Sutcliffe, Geoff
Schulz, Stephan
Claessen, Koen
and
Baumgartner, Peter
2012.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 7180,
Issue. ,
p.
406.