Login / Signup

While Loops in Coq.

David NowakVlad Rusu
Published in: FROM (2023)
Keyphrases
  • formal methods
  • theorem prover
  • image processing
  • knowledge discovery
  • similarity search
  • modal logic