Machine-Checked Sequencer for Critical Embedded Code Generator
Submitted by Andres Toom on Wed, 26/05/2010 - 16:03
Publish date:
December 2009
Where published:
Springer LNCS proceedings of ICFEM'09
Category:
Publications
Date:
2009/12/09
Read more here
»