Ugo Dal Lago Books
Foundational and Practical Aspects of Resource Analysis
This book constitutes the proceedings of the Third International Workshop on Foundational and Practical Aspects of Resource Analysis, FOPARA 2013, held in Bertinoro, Italy, in August 2013. The 9 pa...
Read More
Foundations of Software Science and Computation Structures
artificial intelligence; computer software; selection and evaluation; formal logic; graph theory; modal logic; petri nets; program compilers; programming language; semantics; separation l...
Read More