Login / Signup

System FR: formalized foundations for the stainless verifier.

Jad HamzaNicolas VoirolViktor Kuncak
Published in: Proc. ACM Program. Lang. (2019)
Keyphrases
  • artificial intelligence
  • face recognition
  • computer vision
  • information technology
  • high resolution