Tian, Chun; Sangiorgi, Davide; Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018); Unique Solutions of Contractions, CCS, and their HOL Formalisation; in «Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018)»; Vol. 276>; 2018; pp. 122-139
Mechtaev, Sergey; Griggio, Alberto; Cimatti, Alessandro; Roychoudhury, Abhik; 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering; Symbolic execution with existential second-order constraints; in «Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, ESEC/SIGSOFT FSE 2018»; 2018; pp. 389-399
Cimatti, Alessandro; Ghilardi, Silvio; Ranise, Silvio; Model checking: teoria ed applicazioni; in «Le direzioni della ricerca logica in Italia 2»; Edizioni ETS; 2018; pp. 141-193
Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano; 22nd International Symposium on Formal Methods, FM 2018; Formal Specification and Verification of Dynamic Parametrized Architectures; in «Formal Methods - 22nd International Symposium, FM 2018, Held asPart of the Federated Logic Conference, FloC 2018, Proceedings»; Springer; Vol. 10951>; 2018; pp. 625-644
FBK does not use any user profiling technique, but only technical cookies necessary for the normal functioning of the website and statistical tools. However, be careful if you use functions interacting with social networks, because these could track your navigation with their cookies.I understandTo find out more, read the privacy policy.
