Stefania Gnesi Editor & Author

FM 2016: Formal Methods

4 contributors - Paperback

£44.99

Requirements Engineering: Foundation for Software Quality

4 contributors - Paperback

£44.99

Formal Methods for Industrial Critical Systems

2 authors - Paperback

£81.95

Critical Systems: Formal Methods and Automated Verification

3 contributors - Paperback

£44.99