Formal Specification and Verification of Concurrent Agents in Event-B | IEEE Conference Publication | IEEE Xplore
  翻译: