A Formal Specification Language Supporting Specification Acquisition

 
  • 一个支持规约获取的形式规约语言
今日热词
目录 附录 查词历史