Back to Results
First PageMeta Content
Polyspace / Software testing / Formal methods / Logic in computer science / Formal verification / Cross-platform software / Software verification / Abstract interpretation / Programming language / Computing / Software engineering / Programming language theory


Document Date: 2012-04-16 06:04:40

Open Document

File Size: 135,65 KB

Share Result on Facebook

City

Montreal / /

Company

IEEE Press / R. Software / PolySpace Technologies / Dynamic Runtime Errors Klaus Wissing PolySpace Technologies GmbH / /

/

IndustryTerm

software changes / software engineering / software quality attributes / software verification / observed software faults / /

Person

A. Next / /

ProgrammingLanguage

C++ / /

URL

www.polyspace.com / /

SocialTag