Trends in Formal Specification Methods based on Algebraic Specification Techniques -from Abstract Data Types to Software Processes : A Personal Perspective-

収録刊行物

被引用文献 (1)*注記

もっと見る

詳細情報

  • CRID
    1573950398812200064
  • NII論文ID
    10000069940
  • データソース種別
    • CiNii Articles

問題の指摘

ページトップへ