Revision as of 14:37, 22 February 2006 edit Joheriks (talk \| contribs) 5 edits Added IBP page		Revision as of 14:40, 22 February 2006 edit undo Joheriks (talk \| contribs) 5 edits No edit summary Next edit →
Line 8: [http://www.abo.fi/~backrj/index.php?page=Invariant%20based%20programming.html Invariant based programming research by R-J Back] [[Category:Computer science]]

Invariant-based programming: Difference between revisions