MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Software reliability via run-time result-checking." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 5 documents found, showing 1 through 5.
ATOM RSS
  • Software Reliability via Run-Time Result-Checking  
  • by Hal Wasserman University, Hal Wasserman, Manuel Blum, Name Manuel Blum — 1994 — Journal of the ACM
  • …Software Reliability via Run-Time Result-Checking Hal Wasserman University of California, Berkeley…
  • Add To MetaCart
  • Software Reliability via Run-Time Result-Checking  
  • by Manuel Blum Hal, Manuel Blum, Hal Wasserman — 1994 — Journal of the ACM
  • … 94704-1198 ffl (510) 643-9153 ffl FAX (510) 643-7684 Software Reliability via Run-Time Result-Checking…
  • Add To MetaCart
  • Hal Wasserman  
  • by School Of Computer
  • … cum laude, June 1986. Publications "Software Reliability via Run-Time Result-Checking." With Manuel…
  • Add To MetaCart
  • Program Checking  
  • by Truncate Type Data, Value Return
  • … reliability via run-time result-checking. Journal of the ACM, 44(6):826--849, 1997. Bibliography …
  • Add To MetaCart
Help! Showing 1 through 5.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB