Implications of a Data Structure Consistency Checking System


Published in:
International conference on Verified Software: Theories, Tools, Experiments (VSTTE, IFIP Working Group 2.3 Conference)
Year:
2005
Laboratories:




 Record created 2007-08-21, last modified 2018-03-17

n/a:
Download fulltext
PDF

Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)