海词手机词典
  • A scheme of temporal specification using function construct of classical B AMN is proposed to support specification and verification of real-time software system.

    播放读音 播放读音