Relational Methods in Computer Science
Subtitle: 6th International Conference, RelMiCS 2001 and 1st Workshop of COST Action 274 TARSKI Oisterwijk, the Netherlands, October 16-21, 2001 Revised Papers
Publisher: Springer London, Limited
Published: 2003
Language: eng
ISBN-13: 9783540362807