formal methods

Oct
21

Modern Cleanroom Software Engineering in an APL Context

The Problem I've spent some time with Cleanroom Software Engineering attributed to Harlan Mills. Without a doubt it is my
3 min read