Items where Author is "Bodei, Chiara"
Number of items: 5. AcAcciai, Lucia and Bodei, Chiara and Boreale, Michele and Bruni, Roberto and Torres Vieira, Hugo Static analysis techniques for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 214-231. ISBN 978-3-642-20400-5 (2011) BoAcciai, Lucia and Bodei, Chiara and Boreale, Michele and Bruni, Roberto and Torres Vieira, Hugo Static analysis techniques for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 214-231. ISBN 978-3-642-20400-5 (2011) Acciai, Lucia and Bodei, Chiara and Boreale, Michele and Bruni, Roberto and Torres Vieira, Hugo Static analysis techniques for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 214-231. ISBN 978-3-642-20400-5 (2011) BrAcciai, Lucia and Bodei, Chiara and Boreale, Michele and Bruni, Roberto and Torres Vieira, Hugo Static analysis techniques for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 214-231. ISBN 978-3-642-20400-5 (2011) ToAcciai, Lucia and Bodei, Chiara and Boreale, Michele and Bruni, Roberto and Torres Vieira, Hugo Static analysis techniques for session-oriented calculi. In: Rigorous Software Engineering for Service-Oriented Systems. Lecture Notes in Computer Science (6582). Springer, pp. 214-231. ISBN 978-3-642-20400-5 (2011) |
