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