Practitioners Reject Formal Methods

Sorry about the disruption, but people were interspersing comments into EWD's own words, which spoiled the flow. Despite the page being "hot" I've moved it to try to avoid a ThreadMess and promote genuine discussion.


CategoryFormalMethods


EditText of this page (last edited April 21, 2008) or FindPage with title or text search