Frank Valencia

Books that list Frank Valencia among their authors but not as the lead author: co-written works, collections and compilations.

The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and PrivacyMário S. Alvim

The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and Privacy

Mário S. Alvim · 2019