Search Results - Drachova, Svetlana V

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment

    Teaching Mathematical Reasoning Principles for Software Correctness and Its Assessment by Drachova, Svetlana V, Hallstrom, Jason O, Hollingsworth, Joseph E, Krone, Joan, Pak, Rich, Sitaraman, Murali

    Get full text
    Items that this one cites
    Items that cite this one
    Article
    Save to List
    Saved in:
  2. 2
    Specification and reasoning in SE projects using a Web IDE

    Specification and reasoning in SE projects using a Web IDE by Cook, Charles T., Drachova-Strang, Svetlana V., Yu-Shan Sun, Sitaraman, Murali, Carver, Jeffrey C., Hollingsworth, Joseph

    Request full text
    Items that cite this one
    Conference Proceeding
    Save to List
    Saved in:

Search Tools: