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
Read More
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
Read Less