Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
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.
Jacobs, Bart
Marché, Claude
and
Rauch, Nicole
2004.
Algebraic Methodology and Software Technology.
Vol. 3116,
Issue. ,
p.
241.
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.
Filliâtre, Jean-Christophe
and
Marché, Claude
2004.
Formal Methods and Software Engineering.
Vol. 3308,
Issue. ,
p.
15.
Abel, Andreas
Benke, Marcin
Bove, Ana
Hughes, John
and
Norell, Ulf
2005.
Verifying haskell programs using constructive type theory.
p.
62.
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.
Andronick, June
Chetali, Boutheina
and
Paulin-Mohring, Christine
2005.
FM 2005: Formal Methods.
Vol. 3582,
Issue. ,
p.
302.
Marché, Claude
and
Paulin-Mohring, Christine
2005.
Theorem Proving in Higher Order Logics.
Vol. 3603,
Issue. ,
p.
179.
Schirmer, Norbert
2005.
Logic for Programming, Artificial Intelligence, and Reasoning.
Vol. 3452,
Issue. ,
p.
398.
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.
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.
Audebaud, Philippe
and
Paulin-Mohring, Christine
2006.
Mathematics of Program Construction.
Vol. 4014,
Issue. ,
p.
49.
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.
Andronick, June
2006.
Formally Proved Anti-tearing Properties of Embedded C Code.
p.
129.
Abrial, Jean-Raymond
Butler, Michael
Hallerstede, Stefan
and
Voisin, Laurent
2006.
Formal Methods and Software Engineering.
Vol. 4260,
Issue. ,
p.
588.
Nanevski, Aleksandar
Ahmed, Amal
Morrisett, Greg
and
Birkedal, Lars
2007.
Programming Languages and Systems.
Vol. 4421,
Issue. ,
p.
189.
Filliâtre, Jean-Christophe
2007.
Formal proof of a program: Find.
Science of Computer Programming,
Vol. 64,
Issue. 3,
p.
332.
Filliâtre, Jean-Christophe
and
Marché, Claude
2007.
Computer Aided Verification.
Vol. 4590,
Issue. ,
p.
173.
Boulmé, Sylvain
2007.
Typed Lambda Calculi and Applications.
Vol. 4583,
Issue. ,
p.
54.
Discussions
No Discussions have been published for this article.