Back to Results
First PageMeta Content
Denotational semantics / Logic in computer science / Symbol / Structure / String / Model theory / Holomorphic functional calculus / Orbifold / Mathematics / Theoretical computer science / Mathematical logic


Certifiable Specification and Verification of C Programs Christoph Lüth and Dennis Walter Deutsches Forschungszentrum für Künstliche Intelligenz Bremen, Germany [removed], [removed]
Add to Reading List

Document Date: 2009-10-23 03:41:49

Open Document

File Size: 278,96 KB

Share Result on Facebook

Company

Function / /

Country

Germany / /

/

IndustryTerm

safety software / subtraction sizeof operator / software certification / /

Organization

U.S. Securities and Exchange Commission / /

Position

representative / /

ProgrammingLanguage

C / /

RadioStation

FM 2009 / /

URL

http /

SocialTag