• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Integrating ADTs in KeY and their application to history-based reasoning about collection.

Jinting BianHans-Dieter A. HiepFrank S. de BoerStijn de Gouw
Published in: Formal Methods Syst. Des. (2022)
Keyphrases
  • data model
  • decision making
  • general purpose
  • document collections
  • artificial intelligence
  • artificial neural networks
  • fuzzy logic