2 ms·A Note on Formal Specification for Programmers1 points by doonesbury 6y agodoonesbury 6y agoPer title.