Cited By
View all- Pit-Claudel CLämmel RTratt Lde Lara J(2020)Untangling mechanized proofsProceedings of the 13th ACM SIGPLAN International Conference on Software Language Engineering10.1145/3426425.3426940(155-174)Online publication date: 16-Nov-2020
- Smith WKoothoor N(2016)A Document-Driven Method for Certifying Scientific Computing Software for Use in Nuclear Safety AnalysisNuclear Engineering and Technology10.1016/j.net.2015.11.00848:2(404-418)Online publication date: Apr-2016
- Smith SKoothoor NNedialkov N(2013)Document driven certification of computational science and engineering softwareProceedings of the 1st International Workshop on Software Engineering for High Performance Computing in Computational Science and Engineering10.1145/2532352.2532353(25-32)Online publication date: 17-Nov-2013
- Show More Cited By