Integrating ADTs in KeY and their Application to History-based Reasoning: Proof Files

2021-05-09

The project files for the article 'Integrating ADTs in KeY and their Application to History-based reasoning.'

Additional Metadata
Organisation	Computer Security
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	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.

Additional Files
View at Zenodo

See Also
inProceedings Integrating ADTs in KeY and their application to history-based reasoning J. Bian (Jinting), H.A. Hiep (Hans-Dieter), F.S. de Boer (Frank) and C.P.T. de Gouw (Stijn)

Publication