Types for proofs and programs : international workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004 : revised selected papers /

Bibliographic Details
Corporate Authors:	TYPES 2004 Jouy-en-Josas, France, SpringerLink (Online service)
Other Authors:	Filliâtre, Jean-Christophe, Paulin-Mohring, Christine, 1962-, Werner, Benjamin
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2006.
Series:	Lecture notes in computer science ; 3839.
Subjects:	Automatic theorem proving > Congresses. Computer programming > Congresses. Programmation (Informatique) > Congrès. Théorèmes > Démonstration automatique > Congrès. Electronic books.
Online Access:	Connect to the full text of this electronic book

Published 2006

Connect to the full text of this electronic book

Conference Proceeding Book