Formal Aspects of Component Software More Books by José Luiz Fiadeiro, Zhiming Liu & Jinyun Xue

Recent Trends in Algebraic Development Techniques

2019

Categories for Software Engineering

2005