2021-05-09
Integrating ADTs in KeY and their Application to History-based Reasoning: Proof Files
Publication
Publication
The project files for the article 'Integrating ADTs in KeY and their Application to History-based reasoning.'
Additional Metadata | |
---|---|
Organisation | Computer Security |
Bian, J, Hiep, H.A, de Boer, F.S, & de Gouw, C.P.T. (2021). Integrating ADTs in KeY and their Application to History-based Reasoning: Proof Files.
|