Search Results - "Wilson, William F"

  • Showing 1 - 9 results of 9
Refine Results
  1. 1
  2. 2
  3. 3
  4. 4
  5. 5

    Muse - A Computer Assisted Verification System by Halpern, J. Daniel, Owre, Sam, Proctor, Norman, Wilson, William F.

    “…Muse is a verification system which extends the collection of tools developed by SRI for their Hierarchical Development Methodology (HDM). It enhances the SRI…”
    Get full text
    Conference Proceeding
  6. 6

    Labatorials - a new approach to teaching electricity and magnetism to students in engineering by Ahrensmeier, D., Thompson, R. I., Wilson, W. J. F., Potter, M. E.

    “…We describe the development and results from the implementation of a new approach for teaching physics in the small group sections of a large introductory…”
    Get full text
    Conference Proceeding
  7. 7

    Muse-A Computer Assisted Verification System by Halpern, J.D., Owre, S., Proctor, N., Wilson, W.F.

    Published in IEEE transactions on software engineering (01-02-1987)
    “…Muse is a verification system which extends the collection of tools developed by SRI International for their Hierarchical Development Methodology (HDM). It…”
    Get full text
    Journal Article
  8. 8
  9. 9