Computer Science Logic
Subtitle: 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings
Publisher: Springer London, Limited
Published: 2009
Language: eng
ISBN-13: 9783642040276