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.
Nievergelt, Yves
2010.
94.38 The truth table of the logical implication.
The Mathematical Gazette,
Vol. 94,
Issue. 531,
p.
509.
Hasan, Osman
and
Tahar, Sofiène
2010.
Abstract State Machines, Alloy, B and Z.
Vol. 5977,
Issue. ,
p.
2.
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.
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
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
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.
Almeida, José Bacelar
Frade, Maria João
Pinto, Jorge Sousa
and
Melo de Sousa, Simão
2011.
Rigorous Software Development.
p.
45.
Barthe, Gilles
and
Kopf, Boris
2011.
Information-Theoretic Bounds for Differentially Private Mechanisms.
p.
191.
Asperti, Andrea
and
Tassi, Enrico
2011.
Superposition as a logical glue.
Electronic Proceedings in Theoretical Computer Science,
Vol. 53,
Issue. ,
p.
1.
Grégoire, Benjamin
Pottier, Loïc
and
Théry, Laurent
2011.
Automated Deduction in Geometry.
Vol. 6301,
Issue. ,
p.
42.
Hasan, Osman
and
Tahar, Sofiène
2011.
Reconfigurable Embedded Control Systems.
p.
342.
Weissenbacher, Georg
2012.
Theory and Applications of Satisfiability Testing – SAT 2012.
Vol. 7317,
Issue. ,
p.
312.
Strannegård, Claes
Häggström, Olle
Wessberg, Johan
and
Balkenius, Christian
2012.
Artificial General Intelligence.
Vol. 7716,
Issue. ,
p.
302.
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.
Sutcliffe, Geoff
Schulz, Stephan
Claessen, Koen
and
Baumgartner, Peter
2012.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 7180,
Issue. ,
p.
406.
Rümmer, Philipp
2012.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 7180,
Issue. ,
p.
359.