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.
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.
Harrison, John
2000.
Formal Methods in Computer-Aided Design.
Vol. 1954,
Issue. ,
p.
254.
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.
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.
SPALAZZI, LUCA
2005.
Book Reviews.
Minds and Machines,
Vol. 15,
Issue. 3-4,
p.
453.
Harrison, John
2006.
Formal Methods for Hardware Verification.
Vol. 3965,
Issue. ,
p.
211.