Searching for "Achieving a Better Middleware Design through Formal Modeling and Analysis." – sorted by Relevance.
-
and Formal Methods experience.
- , Tianjun Shi, Gonzalo Argote-Garcia, Yi Deng and Xudong He; “Achieving a Better Middleware Design through
- Add To MetaCart

