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.
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.
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.
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.
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.
Scaife, Norman
Michaelson, Greg
and
Horiguchi, Susumu
2002.
Implementation of Functional Languages.
Vol. 2312,
Issue. ,
p.
138.
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, 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.
SPALAZZI, LUCA
2005.
Book Reviews.
Minds and Machines,
Vol. 15,
Issue. 3-4,
p.
453.
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
St‐Denis, Richard
2006.
Software Specification Methods.
p.
259.