Crossref Citations
This Book has been
cited by the following publications. This list is generated based on data provided by Crossref.
Sérot, Jocelyn
Ginhac, Dominique
and
Dérutin, Jean-Pierre
1999.
Parallel Computing Technologies.
Vol. 1662,
Issue. ,
p.
296.
Harrison, John
2000.
Theorem Proving in Higher Order Logics.
Vol. 1869,
Issue. ,
p.
233.
Harrison, John
2000.
Floating Point Verification in HOL Light: The Exponential Function.
Formal Methods in System Design,
Vol. 16,
Issue. 3,
p.
271.
Harrison, John
2000.
Formal Methods in Computer-Aided Design.
Vol. 1954,
Issue. ,
p.
254.
Pitts, Andrew M.
and
Gabbay, Murdoch J.
2000.
Mathematics of Program Construction.
Vol. 1837,
Issue. ,
p.
230.
Diehl, Stephan
Hartel, Pieter
and
Sestoft, Peter
2000.
Abstract machines for programming language implementation.
Future Generation Computer Systems,
Vol. 16,
Issue. 7,
p.
739.
Harrison, John
2000.
Automated Deduction - CADE-17.
Vol. 1831,
Issue. ,
p.
1.
Huet, G.
2001.
From an informal textual lexicon to a well-structured lexical database: an experiment in data reverse engineering.
p.
127.
Armelín, Pablo A.
and
Pym, David J.
2001.
Automated Reasoning.
Vol. 2083,
Issue. ,
p.
289.
Scaife, Norman
Michaelson, Greg
and
Horiguchi, Susumu
2002.
Implementation of Functional Languages.
Vol. 2312,
Issue. ,
p.
138.
Barthe, Gilles
and
Coquand, Thierry
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
1.
Gori, Roberta
and
Levi, Giorgio
2002.
Verification, Model Checking, and Abstract Interpretation.
Vol. 2294,
Issue. ,
p.
225.
Pitts, Andrew M.
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
378.
Gori, Roberta
and
Levi, Giorgio
2003.
Verification, Model Checking, and Abstract Interpretation.
Vol. 2575,
Issue. ,
p.
132.
Harrison, J.
2003.
Formal verification at Intel.
p.
45.
Harrison, John
2003.
Formal Verification of Square Root Algorithms.
Formal Methods in System Design,
Vol. 22,
Issue. 2,
p.
143.
Kawai, H.
Takayama, F.
Anzai, T.
Manome, T.
and
Yoshida, H.
2003.
Objectives and features of e-learning oriented programming courseware for freshmen.
p.
616.
Seinstra, F.J.
Snoek, C.G.M.
Koelma, D.
Geusebroek, J.M.
and
Worring, M.
2005.
User Transparent Parallel Processing of the 2004 NIST TRECVID Data Set.
p.
90.
Gervais, F.
Frappier, M.
and
Laleau, R.
2005.
Generating Relational Database Transactions From Recursive Functions Defined on EB^3 Traces.
p.
117.
Gervais, Frédéric
Frappier, Marc
and
Laleau, Régine
2005.
Integrated Formal Methods.
Vol. 3771,
Issue. ,
p.
207.