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]

@inproceedings{AielloDRHH19,
  title = {Practical Application of SPARK to OpenUxAS},
  author = {M. Anthony Aiello and Claire Dross and Patrick Rogers and Laura Humphrey and James Hamil},
  year = {2019},
  doi = {10.1007/978-3-030-30942-8_45},
  url = {https://doi.org/10.1007/978-3-030-30942-8_45},
  researchr = {https://researchr.org/publication/AielloDRHH19},
  cites = {0},
  citedby = {0},
  pages = {751-761},
  booktitle = {Formal Methods - The Next 30 Years - Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings},
  editor = {Maurice H. ter Beek and Annabelle McIver and José N. Oliveira},
  volume = {11800},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-30942-8},
}