NASA Formal Methods - Bobaru, Mihaela; Havelund, Klaus; Holzmann, Gerard J.; Joshi, Rajeev; Kanade, Takeo; Holzmann, Gerard (Springer Berlin Heidelberg, 2011)
Keywords: Information Technology -- Software Engineering