Contract-Based Design of Dataflow Programs

Jonatan Wiik

Research output: Types of ThesisDoctoral ThesisCollection of Articles

Original languageEnglish
Supervisors/Advisors
  • Walden, Marina, Supervisor
  • Boström, Pontus, Supervisor
Publisher
Print ISBNs978-952-12-4339-4
Electronic ISBNs978-952-12-4340-0
Publication statusPublished - 2024
MoE publication typeG5 Doctoral dissertation (article)

Cite this