Research output per year
Research output per year
| Date made available | 28 Apr 2016 |
|---|---|
| Publisher | GitHub |
Software
- Software
Research output
- 1 Conference contribution
-
Automatic predicate testing in formal certification: you’ve only proven what you’ve said, not what you meant!
Slama, F., 2016, Tests and Proofs - 10th International Conference, TAP 2016 Held as Part of STAF 2016. Aichernig, B. K. & Furia, C. A. (eds.). Springer-Verlag, p. 191-198 8 p. (Lecture Notes in Computer Science; vol. 9762).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile2 Downloads (Pure)