@inbook{tekriwal-2024-formalization, title={Formalization of Asymptotic Convergence for Stationary Iterative Methods}, ISBN={9783031606984}, ISSN={1611-3349}, url={http://dx.doi.org/10.1007/978-3-031-60698-4_3}, DOI={10.1007/978-3-031-60698-4_3}, booktitle={NASA Formal Methods}, publisher={Springer Nature Switzerland}, author={Tekriwal, Mohit and Miller, Joshua and Jeannin, Jean-Baptiste}, year={2024}, pages={37–56} }

tekriwal-2024-formalization:
  type: chapter
  title: Formalization of Asymptotic Convergence for Stationary Iterative Methods
  author:
  - Tekriwal, Mohit
  - Miller, Joshua
  - Jeannin, Jean-Baptiste
  date: 2024
  page-range: 37-56
  url: http://dx.doi.org/10.1007/978-3-031-60698-4_3
  serial-number:
    doi: 10.1007/978-3-031-60698-4_3
    isbn: '9783031606984'
    issn: 1611-3349
  parent:
    type: book
    title: NASA Formal Methods
    publisher: Springer Nature Switzerland