A Note on Formal Specification for Programmersgithub.com1 point·doonesbury··1 commentOpen articleSaveView on HN