Correctness and safety

Date view	Thread view	Subject view	Author view

Jonathan Moffett (jdm(at)cs.york.ac.uk)
Thu, 3 Dec 1998 08:18:17 +0100

Next message: Brian Wichmann: "re: Correctness and safety"
Previous message: Axel Poigne: ""FEmSys99:_Call_for_Participation/Program""
In reply to: Jonathan Moffett: "CfP Special Issue on Formal Methods for Visual Interaction"
Next in thread: Brian Wichmann: "Re: Correctness and safety"
Maybe reply: Brian Wichmann: "Re: Correctness and safety"
Maybe reply: Klaus Brunnstein: "re: Correctness and safety"
Maybe reply: Brian Wichmann: "re: Correctness and safety"


I have put Brian Wichmann's article "Can we produce correct programs?" on my web site at http://www.cs.york.ac.uk/~jdm/sclist/programcorrectness.html

Please let me know if there are any access problems, but send any comments on contents to the list or direct to Brian (Brian.Wichmann(at)npl.co.uk)

Next message: Brian Wichmann: "re: Correctness and safety"
Previous message: Axel Poigne: ""FEmSys99:_Call_for_Participation/Program""
In reply to: Jonathan Moffett: "CfP Special Issue on Formal Methods for Visual Interaction"
Next in thread: Brian Wichmann: "Re: Correctness and safety"
Maybe reply: Brian Wichmann: "Re: Correctness and safety"
Maybe reply: Klaus Brunnstein: "re: Correctness and safety"
Maybe reply: Brian Wichmann: "re: Correctness and safety"

Date view	Thread view	Subject view	Author view