Search Results - Person, Suzette

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    A methodology for evaluating artifacts produced by a formal verification process by Siminiceanu, Radu I.

    Published 2011
    Other Authors: “…Person, Suzette…”
    Online Access
    Online Access
    Government Document Electronic eBook

    Save to List
    Saved in:
  2. 2
    Cover Image

    NASA formal methods 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings /

    Published 2012
    Other Authors: “…Person, Suzette…”
    Full Text (via Springer)
    Electronic Conference Proceeding eBook

    Save to List
    Saved in:
Search Tools: RSS Feed – Save Search