A Practical Property-based Bootstrap Architecture.

Ahmad-Reza Sadeghi, Christian Stüble, Jing Zhan, René Korthaus

Accepted for ACMSTC'09

Tags: Bootstrap