Login / Signup

UTP, Circus, and Isabelle.

Jim WoodcockAna CavalcantiSimon FosterMarcel OliveiraAugusto SampaioFrank Zeyda
Published in: Theories of Programming and Formal Methods (2023)
Keyphrases
  • theorem prover
  • natural deduction
  • inference rules
  • training set
  • first order logic