Practical Application of SPARK to OpenUxAS

M. Anthony Aiello, Claire Dross, Patrick Rogers, Laura Humphrey, James Hamil. Practical Application of SPARK to OpenUxAS. In Maurice H. ter Beek, Annabelle McIver, José N. Oliveira, editors, Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings. Volume 11800 of Lecture Notes in Computer Science, pages 751-761, Springer, 2019. [doi]


No references recorded for this publication.

Cited by

No citations of this publication recorded.