Teodor Rus, editor, Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings. Volume 1816 of Lecture Notes in Computer Science, Springer, 2000.
Conference: amast2000
@proceedings{amast:2000,
title = {Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
year = {2000},
tags = { algebra},
researchr = {https://researchr.org/publication/amast%3A2000},
cites = {0},
citedby = {0},
booktitle = {Algebraic Methodology and Software Technology. 8th International Conference, AMAST 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings},
conference = {amast},
editor = {Teodor Rus},
volume = {1816},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-67530-2},
}