Recent Trends in Algebraic Development TechniquesTill Mossakowski · First published 2012Open the Tome
Recent Trends in Algebraic Development Techniques Lecture Notes in Computer ScienceTill Mossakowski · First published 2012Open the Tome
Algebra and Coalgebra in Computer ScienceMagne Haveraaen, Ugo Montanari, Till Mossakowski · First published 2007Open the Tome
