A Rely-Guarantee Proof System for x86-TSO

DOI PDF 5 Citations

Tom Ridge

Journal

Verified Software: Theories, Tools, Experiments

Verified Software: Theories, Tools, Experiments 55-70, 2010

Springer Berlin Heidelberg

Citations (5)*help

See more

Details 詳細情報について

CRID

1360855570078043776
DOI

10.1007/978-3-642-15057-9_4
ISSN

16113349

03029743
Web Site

http://link.springer.com/content/pdf/10.1007/978-3-642-15057-9_4.pdf
Data Source
- Crossref

Export

Report a problem

Back to top