Biblio

Filters: Author is Oksana Tkachuk  [Clear All Filters]
2018-05-14
[Anonymous].  2016.  NASA Formal Methods - 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Lecture Notes in Computer Science. 9690
2018-05-23
Anitha Murugesan, Michael W. Whalen, Neha Rungta, Oksana Tkachuk, Suzette Person, Mats Per Erik Heimdahl, Dongjiang You.  2015.  Are We There Yet? Determining the Adequacy of Formalized Requirements and Test Suites {NASA} Formal Methods - 7th International Symposium, {NFM} 2015. :279–294.