Back to INDEX

  Publications of Elena Tushkanova  

Conference articles
  1. Elena Tushkanova, Alain Giorgetti, Claude Marché, and Olga Kouchnarenko. Specifying Generic Java Programs: two case studies. In LDTA 2010, 10th Workshop on Language Descriptions, Tools, and Applications, Paphos, Cyprus, pages 8:1--8:8, March 2010. ACM. [bibtex]


Internal reports
  1. Elena Tushkanova, Alain Giorgetti, and Olga Kouchnarenko. Specifying and Proving a Sorting Algorithm. Research Report RR2009-03, LIFC - Laboratoire d'Informatique de l'Université de Franche-Comté, October 2009. Note: 35 pages. [Abstract] [bibtex]


  2. Elena Tushkanova, Alain Giorgetti, Claude Marché, and Olga Kouchnarenko. Modular Specification of Java Programs. Research Report RR-7097, INRIA, 2009. [Abstract] [bibtex]


Back to INDEX

Wed May 16 18:07:19 2012 Authors: Arnaud Lanoix, Pierre-Alain Masson and Jean-Marc Nicod
This document was translated from BibTEX by bibtex2html