Pierre Courtieu
AuthID: R-00H-7MJ
1
TÃTULO: Tool-assisted specification and verification of typed low-level languages Full Text
AUTORES: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simao Melo De Sousa ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, NÚMERO: 4
AUTORES: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simao Melo De Sousa ;
PUBLICAÇÃO: 2005, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 35, NÚMERO: 4
2
TÃTULO: Tool-Assisted Specification and Verification of the JavaCard Platform
AUTORES: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLICAÇÃO: 2002, FONTE: Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings, VOLUME: 2422
AUTORES: Gilles Barthe ; Pierre Courtieu; Guillaume Dufay; Simão Melo de Sousa ;
PUBLICAÇÃO: 2002, FONTE: 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
TÃTULO: Efficient Reasoning about Executable Specifications in Coq
AUTORES: Gilles Barthe; Pierre Courtieu;
PUBLICAÇÃO: 2002, FONTE: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, VOLUME: 2410
AUTORES: Gilles Barthe; Pierre Courtieu;
PUBLICAÇÃO: 2002, FONTE: Theorem Proving in Higher Order Logics, 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002, Proceedings, VOLUME: 2410
INDEXADO EM: 
DBLP
DBLP