Correctness Firewalls for Synthesized Database Components

 (arxiv.org)

2 points | by yrayhan 5 hours ago ago

No comments yet.