unchanged Build logs
unchanged · build logsfirst log in preparation

Build logs

Build logs from unchanged: how the software is specified, modelled, written and checked, and what each checker missed.

Contents

    ←→ turn the pages, or press a bookmark