Conference
Program result-checking: a theory of testing meets a test of theory
| Τίτλος: | Program result-checking: a theory of testing meets a test of theory |
|---|---|
| Συγγραφείς: | Blum, M., Wasserman, H. |
| Πηγή: | Proceedings 35th Annual Symposium on Foundations of Computer Science Computer science foundations Foundations of Computer Science, 1994 Proceedings., 35th Annual Symposium on. :382-392 1994 |
| Relation: | Proceedings 35th Annual Symposium on Foundations of Computer Science |
| Βάση Δεδομένων: | IEEE Xplore Digital Library |
| ISBN: | 0818665807 9780818665806 |
|---|---|
| DOI: | 10.1109/SFCS.1994.365678 |