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 |
καταχωρήστε σχόλιο πρώτοι!