共 50 条
- [31] Towards a Common Platform to Support Business Processes, Services and Semantics ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2009 WORKSHOPS, 2009, 5872 : 629 - 638
- [32] Towards a Formal Semantics-Based Technique for Interprocedural Slicing INTEGRATED FORMAL METHODS, IFM 2014, 2014, 8739 : 291 - 306