placeholder image

Călinescu, Radu

Person

Positions

University of York

selected publications

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

full name

Radu Călinescu

Publications in VIVO

Co-author Network