90-42 形式的手法にまつわる7つの神話

• 白井, 靖人

書誌事項

タイトル別名

• Seven Myths of Formal Methods

収録刊行物

• 情報処理

  情報処理 31 (12), 1692-1693, 1990-12-15

  情報処理学会

詳細情報

• CRID: 1050001338868497536
• NII論文ID: 110002717265
• NII書誌ID: AN00116625
• ISSN: 04478053
• Web Site: http://hdl.handle.net/10297/5309
• 本文言語コード: ja
• 資料種別: journal article
• データソース種別:
  • IRDB
  • CiNii Articles