Login / Signup
Integrating ADTs in KeY and Their Application to History-Based Reasoning.
Jinting Bian
Hans-Dieter A. Hiep
Frank S. de Boer
Stijn de Gouw
Published in:
FM (2021)
Keyphrases
</>
data model
database
data analysis