Formal memory models for verifying C systems code

2008.

Cited by: 0|Views27
EI

Code:

Data:

Get fulltext within 24h
Bibtex
Your rating :
0

 

Tags
Comments