Login / Signup

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

Jinting BianHans-Dieter A. HiepFrank S. de BoerStijn de Gouw
Published in: FM (2021)
Keyphrases
  • data model
  • database
  • data analysis