Leiden University Scholarly Publications

Persistent URL of this record https://hdl.handle.net/1887/3765726

View statistics

In Collections

This item can be found in the following collections:

Scholarly Publications

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

Bian, J.; Hiep, H.A.; Boer, F.S. de; Gouw, C.P.T. de (2022)

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

Article / Letter to editor

All authors: Bian, J.; Hiep, H.A.; Boer, F.S. de; Gouw, C.P.T. de

Date: 2022

Journal: Formal Methods in System Design

Volume: 61

Pages: 63 - 89

DOI: doi:10.1007/s10703-023-00426-x

Link: https://link.springer.com/article/10.1007/s10703-023-00426-x