Login / Signup

Formal Modeling and Analysis of Legal Contracts using ContractCheck.

Alan KhojaMartin KölblStefan LeueRüdiger Wilhelmi
Published in: CoRR (2022)
Keyphrases
  • artificial intelligence
  • statistical analysis
  • databases
  • video sequences
  • case based reasoning
  • formal analysis