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.
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.
Pitts, Andrew M.
and
Gabbay, Murdoch J.
2000.
Mathematics of Program Construction.
Vol. 1837,
Issue. ,
p.
230.
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.
Gori, Roberta
and
Levi, Giorgio
2002.
Verification, Model Checking, and Abstract Interpretation.
Vol. 2294,
Issue. ,
p.
225.
Barthe, Gilles
and
Coquand, Thierry
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
1.
Pitts, Andrew M.
2002.
Applied Semantics.
Vol. 2395,
Issue. ,
p.
378.
Harrison, J.
2003.
Formal verification at Intel.
p.
45.
Gori, Roberta
and
Levi, Giorgio
2003.
Verification, Model Checking, and Abstract Interpretation.
Vol. 2575,
Issue. ,
p.
132.
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.
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.
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, Frédéric
Frappier, Marc
and
St‐Denis, Richard
2006.
Software Specification Methods.
p.
259.