Bez: Generating a Browser Engine from Specs and Tests
A new project named Bez explores generating a web browser engine automatically from formal specifications and tests.
A new project named Bez explores generating a web browser engine automatically from formal specifications and tests.