Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Jacobs, Bart
Marché, Claude
and
Rauch, Nicole
2004.
Algebraic Methodology and Software Technology.
Vol. 3116,
Issue. ,
p.
241.
Filliâtre, Jean-Christophe
and
Marché, Claude
2004.
Formal Methods and Software Engineering.
Vol. 3308,
Issue. ,
p.
15.
Yu, Dachuan
Hamid, Nadeem A.
and
Shao, Zhong
2004.
Building certified libraries for PCC: dynamic storage allocation.
Science of Computer Programming,
Vol. 50,
Issue. 1-3,
p.
101.
Marché, C.
Paulin-Mohring, C.
and
Urbain, X.
2004.
The KRAKATOA tool for certificationof JAVA/JAVACARD programs annotated in JML.
The Journal of Logic and Algebraic Programming,
Vol. 58,
Issue. 1-2,
p.
89.
Abel, Andreas
Benke, Marcin
Bove, Ana
Hughes, John
and
Norell, Ulf
2005.
Verifying haskell programs using constructive type theory.
p.
62.
Schirmer, Norbert
2005.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 3452,
Issue. ,
p.
398.
Breunesse, C.-B.
Cataño, N.
Huisman, M.
and
Jacobs, B.
2005.
Formal methods for smart cards: an experience report.
Science of Computer Programming,
Vol. 55,
Issue. 1-3,
p.
53.
Marché, Claude
and
Paulin-Mohring, Christine
2005.
Theorem Proving in Higher Order Logics.
Vol. 3603,
Issue. ,
p.
179.
Andronick, June
Chetali, Boutheina
and
Paulin-Mohring, Christine
2005.
FM 2005: Formal Methods.
Vol. 3582,
Issue. ,
p.
302.
Michelbrink, Markus
2006.
Interfaces as functors, programs as coalgebras—A final coalgebra theorem in intensional type theory.
Theoretical Computer Science,
Vol. 360,
Issue. 1-3,
p.
415.
Barnett, Mike
Chang, Bor-Yuh Evan
DeLine, Robert
Jacobs, Bart
and
Leino, K. Rustan M.
2006.
Formal Methods for Components and Objects.
Vol. 4111,
Issue. ,
p.
364.
Kuncak, Viktor
Lam, Patrick
Zee, Karen
and
Rinard, Martin
2006.
Modular Pluggable Analyses for Data Structure Consistency.
IEEE Transactions on Software Engineering,
Vol. 32,
Issue. 12,
p.
988.
Marche, C.
and
Rousset, N.
2006.
Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card Tears.
p.
137.
Andronick, June
2006.
Formally Proved Anti-tearing Properties of Embedded C Code.
p.
129.
Audebaud, Philippe
and
Paulin-Mohring, Christine
2006.
Mathematics of Program Construction.
Vol. 4014,
Issue. ,
p.
49.
Abrial, Jean-Raymond
Butler, Michael
Hallerstede, Stefan
and
Voisin, Laurent
2006.
Formal Methods and Software Engineering.
Vol. 4260,
Issue. ,
p.
588.
Filliâtre, Jean-Christophe
and
Marché, Claude
2007.
Computer Aided Verification.
Vol. 4590,
Issue. ,
p.
173.
Filliâtre, Jean-Christophe
2007.
Formal proof of a program: Find.
Science of Computer Programming,
Vol. 64,
Issue. 3,
p.
332.
Boudol, Gérard
2007.
CONCUR 2007 – Concurrency Theory.
Vol. 4703,
Issue. ,
p.
272.
Nanevski, Aleksandar
Ahmed, Amal
Morrisett, Greg
and
Birkedal, Lars
2007.
Programming Languages and Systems.
Vol. 4421,
Issue. ,
p.
189.
Discussions
No Discussions have been published for this article.