From public views to private views : Correctness-by-design for services
収録刊行物
-
- Informal Proceedings the 4th International Workshop on Web Services and Formal Methods (WS-FM), 2007
-
Informal Proceedings the 4th International Workshop on Web Services and Formal Methods (WS-FM), 2007 139-153, 2007