Sign in

Touring the MetaCoq Project (Invited Paper).

Matthieu Sozeau
Published in: LFMTP (2021)
Keyphrases
  • invited paper
  • project management
  • case study
  • software development
  • neural network
  • real world
  • information systems
  • european project