Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

tipoP-Berardi-Coppo-Damiani:04 (Book)
Editor(s) Stefano Berardi, Mario Coppo and Ferruccio Damiani
Title« Types for Proofs and Programs (International Workshop TYPES'03, Selected Papers) »
PublisherSpringer
SeriesLNCS
Volume3085
Year2004
URLhttp://www.springeronline.com/3-540-22164-6

BibTeX code

@book{tipoP-Berardi-Coppo-Damiani:04,
  volume = {3085},
  series = {LNCS},
  editor = {Stefano Berardi and Mario Coppo and Ferruccio Damiani},
  url = {http://www.springeronline.com/3-540-22164-6},
  tag = {LNCS, volume 3085, Springer},
  title = {Types for Proofs and Programs (International Workshop TYPES'03,
           Selected Papers)},
  publisher = {Springer},
  year = {2004},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!