Revision as of 18:21, 7 October 2008 edit 129.89.38.197 (talk) →External links ← Previous edit		Revision as of 17:57, 15 October 2008 edit undo 129.89.38.197 (talk) →External links: lets try to make a better reference Next edit →
Line 11: * [http://web.archive.org/web/20010228175138/research.compaq.com/SRC/esc/escm3/download.html Extended Static Checking Modula-3] from the [[Internet Archive]] * [http://www.researchchannel.org/prog/displayevent.aspx?rID=2761&fID=345 Extended Static Checking] Computer Science & Engineering Colloquia. University of Washington. 1999. {{Cite web \| title = ResearchChannel - Extended Static Checking \| accessdate = 2008-10-15 \| url = http://www.researchchannel.org/prog/displayevent.aspx?rID=2761&fID=345 }} {{formalmethods-stub}}

ESC/Java: Difference between revisions