641 search results - page 129 / 129 » Formal Reliability Analysis Using Theorem Proving |
CORR
2002
Springer
13 years 4 months ago
2002
Springer
for data abstraction and justifies reasoning by simulation. Representation independence has been shown for a variety of languages and constructs but not for shared references to mu...