Search

You searched for: Auteur Chatzikokolakis, Kostas Remove constraint Auteur: Chatzikokolakis, Kostas
1 entry found
Number of results to display per page

Search Results

1. The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy
thumbnail
Full text!
Author:
Alvim; Chatzikokolakis, Kostas; Olarte, Carlos; Valencia, Frank
Publisher:
Springer International Publishing 2019
Format:
e-book