Search

You can find the results of your search below.

Fulltext results:

2009-02-16_matthew_lang_lecture
2 Hits, Last modified:
h whether or not the software is correct--that it only does what is permitted by its specification. Max... roperty than correctness; maximal software is not only correct, but is capable of doing everything permi