Quality Software Through Reuse and Integration

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

• Format: Paperback
• Language: English
• ISBN: 3319561561
• ISBN13: 9783319561561
• Release Date: August 2017
• Publisher: Springer
• Length: 313 Pages
• Weight: 1.00 lbs.
• Dimensions: 0.7" x 6.1" x 9.2"