adrian francalanza
Software Engineering and Formal Methods
VorbestellbarThis volume constitutes the papers presented at the 24th International Conference on Software Eng...
Formal Techniques for Distributed Objects, Components, and Systems
Print on DemandThis book constitutes the refereed proceedings of the 44th IFIP WG 6.1 International Conference o...
- 1