Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings - Mossakowski, Till.; Montanari, Ugo.; Haveraaen, Magne; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2007)
Keywords: Computer science; Software engineering; Logic design; Algebra -- Data processing; Computer Science; Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Symbolic and Algebraic Manipulation