Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers /

Bibliographic Details
Corporate Authors:	TYPES 2008 Torino, Italy, SpringerLink (Online service)
Other Authors:	Berardi, Stefano, Damiani, Ferruccio, De'Liguoro, Ugo
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer, 2009.
Series:	LNCS sublibrary. Theoretical computer science and general issues. Lecture notes in computer science ; 5497.
Subjects:	Automatic theorem proving > Congresses. Computer programming > Congresses. Electronic books.
Online Access:	Connect to the full text of this electronic book

Available Online