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.
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.
Theorem Proving in Higher Order Logics.
Vol. 1869,
Issue. ,
p.
233.
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.
Pitts, Andrew M.
and
Gabbay, Murdoch J.
2000.
Mathematics of Program Construction.
Vol. 1837,
Issue. ,
p.
230.
Armelín, Pablo A.
and
Pym, David J.
2001.
Automated Reasoning.
Vol. 2083,
Issue. ,
p.
289.
Huet, G.
2001.
From an informal textual lexicon to a well-structured lexical database: an experiment in data reverse engineering.
p.
127.
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.
Pitts, Andrew M.
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
378.
Gori, Roberta
and
Levi, Giorgio
2002.
Verification, Model Checking, and Abstract Interpretation.
Vol. 2294,
Issue. ,
p.
225.
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.
Gervais, F.
Frappier, M.
and
Laleau, R.
2005.
Generating Relational Database Transactions From Recursive Functions Defined on EB^3 Traces.
p.
117.
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.
SPALAZZI, LUCA
2005.
Book Reviews.
Minds and Machines,
Vol. 15,
Issue. 3-4,
p.
453.
Gervais, Frédéric
Frappier, Marc
and
Laleau, Régine
2005.
Integrated Formal Methods.
Vol. 3771,
Issue. ,
p.
207.
Harrison, John
2006.
Formal Methods for Hardware Verification.
Vol. 3965,
Issue. ,
p.
211.