Title: Correct-by-Construction Approaches for SoC Design
Subjects: Embedded computer systems