placeholder image

Kwiatkowska, Marta

Person

Positions

University of Oxford

selected publications

chapter
- Synthesis and Verification of Self-aware Computing Systems. Springer eBooks. 337-373. 2017

full name

Marta Kwiatkowska

Publications in VIVO

Co-author Network