Foundations of Software Science and Computational Structures
Subtitle: 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
By: edited by Luke Ong
Contributors: SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 6014
Publisher: Springer-Verlag Berlin Heidelberg
Published: 2010
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
ISBN-13: 9783642120312; 9783642120329
Subjects: Logic design; Computer science; Software engineering