Integrating ADTs in KeY and their application to history-based reasoning about collection

Author(s):: Bian, J.; Hiep, H.A. (0000-0001-9677-6644); Boer, F.S. de; Gouw, C.P.T. de

Published: 2022
Publication type: Article / Letter to editor

Date issued: 2022
Language: English
Publisher: Springer Science and Business Media LLC
Is part of: Formal Methods in System Design (2022), Vol. 61, p. 63-89
hdl: 1887/3765726
doi: 10.1007/s10703-023-00426-x
URL: https://link.springer.com/article/10.1007/s10703-023-00426-x