Verifying Fortran Programs with CIVL
Book chapter (March 2022)
The most recent citing publications are shown below. View all 27 publications that cite this research output on Dimensions.
Book chapter (March 2022)
Article in Journal of Seismology (February 2020)
Book chapter (October 2018)