Formal Aspects of Component Software
2 contributors - Paperback
£49.99
Assurances for Self-Adaptive Systems
4 contributors - Paperback
£44.99
Software Engineering and Formal Methods
£59.99