World Wires · story 14054 · unverified · 1 source(s)

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.

Open in the desk

Coverage

What this site indexes