Sciweavers

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

9

TAPOS
1998

favoriteEmaildiscussreport

49views more TAPOS 1998»

Inheritance of Proofs

13 years 4 months ago

Inheritance of Proofs

Download folk.uio.no

Martin Hofmann, Wolfgang Naraschewski, Martin Stef

Real-time Traffic

TAPOS 1998 |

claim paper

Related Content

» Separation Logic for Multiple Inheritance

» Verification of Object Oriented Programs Using Class Invariants

» A Logic Based Language for Parametric Inheritance

» Inheritance of Temporal Logic Properties

» Safe CrossLanguage Inheritance

» An inheritancebased technique for building simulation proofs incrementally

» A Constructive Algebraic Hierarchy in Coq

» Acts of Commanding and Changing Obligations

» Modular Construction of Modal Logics

Post Info
More Details (n/a)

Added	23 Dec 2010
Updated	23 Dec 2010
Type	Journal
Year	1998
Where	TAPOS
Authors	Martin Hofmann, Wolfgang Naraschewski, Martin Steffen, Terry Stroup

Comments (0)