Software Verification and System Assurance

The work

TitleSoftware Verification and System Assurance
AuthorsJohn Rushby
Typeconference paper
Year2009
Citekeyrushby2009software

Where it appeared

Published in2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
PublisherIEEE
Pages3--10

Identifiers

DOI10.1109/sefm.2009.39

Access

Landing pagehttps://doi.org/10.1109/sefm.2009.39

Copy held

KindPDF, 84.3 kB
Retrieved2026-08-07
Heldlocal, for personal reference
Where it came fromhttps://doi.org/10.1109/sefm.2009.39

Where this came from

How it got herethe agent went looking · found via unpaywall
First seen2026-08-07
Standingendorsed
Approved2026-08-07
In: SEFM: Software Engineering and Formal Methods venue

Cite it as

@inproceedings{rushby2009software,
  title = {Software Verification and System Assurance},
  author = {John Rushby},
  year = {2009},
  booktitle = {2009 Seventh IEEE International Conference on Software Engineering and Formal Methods},
  pages = {3--10},
  publisher = {IEEE},
  doi = {10.1109/sefm.2009.39},
  url = {https://doi.org/10.1109/sefm.2009.39},
}

This record lives at https://refs.drheap.org/rushby2009software/ and will keep doing so.