by Teodor Rus
Algebraic Methodology and Software Technology: 8th International Conference, AMAST 2000 Iowa City, Iowa, USA, May 20–27, 2000 Proceedings<br />Author: Teodor Rus<br /> Published by Springer Berlin…