Dante Zanarini, Mauro Jaskelioff. Monitoring Reactive Systems with Dynamic Channels. In Alejandro Russo, Omer Tripp, editors, Proceedings of the Ninth Workshop on Programming Languages and Analysis for Security, PLAS@ECOOP 2014, Uppsala, Sweden, July 29, 2014. pages 66, ACM, 2014. [doi]
No reviews for this publication, yet.