Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

58

Voted

ICCI
1991

favoriteEmaildiscussreport

88views Information Technology» more ICCI 1991»

What's Wrong With Formal Programming Methods?

15 years 1 months ago

What's Wrong With Formal Programming Methods?

Download www.cs.toronto.edu

Eric C. R. Hehner

Real-time Traffic

ICCI 1991 | Information Technology |

claim paper

Related Content

» Producing wrong data without doing anything obviously wrong

» BackSpace Formal Analysis for PostSilicon Debug

» Understanding programmer language

» Metatheory of Verification Calculi in LEGO To what Extent Does Syntax Matter

» The affordable application of formal methods to software engineering

» Adventures in time and space

» Reasoning about Lock Placements

» Links Web Programming Without Tiers

» Lessons learned using alloy to formally specify MLSPCA trusted security architecture

Post Info
More Details (n/a)

Added	27 Aug 2010
Updated	27 Aug 2010
Type	Conference
Year	1991
Where	ICCI
Authors	Eric C. R. Hehner

Comments (0)