Logo eprints

Items where Author is "Bodei, Chiara"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Creators | Item Type | Date | No Grouping
Jump to: Book Section
Number of items: 1.

Book Section

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)

This list was generated on Fri Apr 19 00:20:24 2024 CEST.
EPrints Logo
IMT Institutional Repository is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.