Categories for Software Engineering More Books by José Luiz Fiadeiro

Recent Trends in Algebraic Development Techniques

2019

Formal Aspects of Component Software

2014