Publications

Export 1 results:
Author Title Type [ Year(Desc)]
Filters: Keyword is formal verification and Author is Cesare Pautasso  [Clear All Filters]
2009
Bianculli, D., C. Ghezzi, and C. Pautasso, "Embedding continuous lifelong verification in service life cycles", ICSE Workshop on Principles of Engineering Service Oriented Systems (PESOS 2009), Vancouver, Canada, pp. 99-102, May, 2009.  (100.29 KB)