Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution book