Cite
MLA Citation
Robert Hilbrich. “How to Safely Integrate Multiple Applications on Embedded Many-Core Systems by Applying the "Correctness by Construction" Principle.” Advances in software engineering, vol. 2012, 2012, p. . http://access.bl.uk/ark:/81055/vdc_100082267363.0x00002d