Home

My journey to Alloy

Jackson, Daniel. Software Abstractions

It keeps you honest, by helping you to check as you go along that what you write down means what you think it means.