Irfan Šljivo 0 2018. Assurance Aware Contract-based Design for Safety-critical Systems Preuzmi PDF Computer Science + 1
