#OnlineFirst
Extract, model, refine: improved modelling of program verification tools through data enrichment
Sophie Lathouwers, Yujie Liu & Vadim Zaytsev
https://doi.org/10.1007/s10270-024-01232-7

Comments

Posting Rules

  • Be respectful to others
  • No spam or self-promotion
  • Stay on topic
  • Follow Bluesky's terms of service