Login / Signup

Study of Isabelle/HOL on Formal Algorithm Analysis and Code Generation.

Haitao WangLihua Song
Published in: IEEE Access (2021)
Keyphrases
  • data analysis
  • code generation
  • databases
  • artificial intelligence
  • object oriented
  • data driven
  • business processes
  • rapid prototyping