Overview
Presents the state of the art in quality software through reuse and integration Includes the latest research on formal methods integration Gathers the best papers from the 4th IEEE International Workshop on Formal Methods Integration--the IEEE FMi 2016, held in Pittsburgh, USA, July 28-30 2016
- | Author: Stuart H. Rubin
- | Publisher: Springer
- | Publication Date: Aug 17, 2017
- | Number of Pages: 313 pages
- | Binding: Paperback or Softback
- | ISBN-10: 3319561561
- | ISBN-13: 9783319561561