Porous invariants
From MaRDI portal
Publication:832262
DOI10.1007/978-3-030-81688-9_8zbMath1493.68117arXiv2106.00662MaRDI QIDQ832262
James Worrell, Joël Ouaknine, Engel Lefaucheux, David Purser
Publication date: 25 March 2022
Full work available at URL: https://arxiv.org/abs/2106.00662
68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Uses Software