Crossmark

Assume, guarantee or repair: a regular framework for non regular properties

Published Online: 2022-09-29

Published Print: 2022-10

Authors

Frenkel, Hadar

Grumberg, Orna

Păsăreanu, Corina S.

Sheinvald, Sarai
Funding

Funding for this research was provided by:

Helmholtz-Zentrum für Informationssicherheit – CISPA gGmbH
License Information

Text and Data Mining valid from 2022-09-29

Version of Record valid from 2022-09-29
More Information

Article History

Accepted: 29 August 2022

First Online: 29 September 2022

Document is current