Integrating ADTs in KeY and Their Application to History-Based Reasoning

Jinting Bian, Hans-Dieter A. Hiep, Frank S. de Boer, Stijn de Gouw

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

Fingerprint

Dive into the research topics of 'Integrating ADTs in KeY and Their Application to History-Based Reasoning'. Together they form a unique fingerprint.

Engineering & Materials Science