Pierre Courtieu
AuthID: R-00H-7MJ
1
TITLE: Tool-assisted specification and verification of typed low-level languages Full Text
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simao Melo De Sousa ;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, ISSUE: 4
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simao Melo De Sousa ;
PUBLISHED: 2005, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, ISSUE: 4
2
TITLE: Tool-Assisted Specification and Verification of the JavaCard Platform
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, VOLUME: 2422
AUTHORS: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLISHED: 2002, SOURCE: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, VOLUME: 2422
3
TITLE: Efficient Reasoning about Executable Specifications in Coq
AUTHORS: Gilles Barthe; Pierre Courtieu;
PUBLISHED: 2002, SOURCE: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, VOLUME: 2410
AUTHORS: Gilles Barthe; Pierre Courtieu;
PUBLISHED: 2002, SOURCE: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, VOLUME: 2410
INDEXED IN: 
DBLP
DBLP