Proofs as a Substrate for Tool Integration Supporting High-Confidence Embedded Software

2008.

Cited by: 0|Bibtex|Views2|

Code:

Data:

Your rating :
0

 

Tags
Comments