Program termination using Z-transform theory
From MaRDI portal
Publication:1106653
DOI10.1016/0096-3003(88)90004-5zbMath0651.68018MaRDI QIDQ1106653
Publication date: 1988
Published in: Applied Mathematics and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0096-3003(88)90004-5
68Q60: Specification and verification (program logics, model checking, etc.)