Tools and algorithms for the construction and analysis of systems : 10th international conference, TACAS 2004, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004 : proceedings /

Bibliographic Details
Corporate Author:	TACAS (Conference) Barcelona, Spain)
Other Authors:	Jensen, K. (Kurt), 1950-, Podelski, Andreas
Format:	Conference Proceeding eBook
Language:	English
Published:	Berlin ; New York : Springer-Verlag, 2004.
Series:	Lecture notes in computer science. 2988.
Subjects:	System design. Computer software > Development > Congresses.
Online Access:	http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2988

Remote Storage