Proceedings of FMSP '98 : the Second Workshop on formal methods in software practice, March 4-5, 1998, Clearwater Beach, Florida, USA, co-located with ISSTA '98

著者

• Workshop on formal methods in software practice
• International Symposium on Software Testing and Analysis
• Ardis, Mark A. (Mark Alan)
• ACM Sigsoft

書誌事項

Proceedings of FMSP '98 : the Second Workshop on formal methods in software practice, March 4-5, 1998, Clearwater Beach, Florida, USA, co-located with ISSTA '98

edited by Mark Ardis ; sponsored by ACM SIGSOFT

Association for Computing Machinery, c1998

注記

"ACM Order Number: 592983"

詳細情報

• NII書誌ID(NCID): BA48506567
• ISBN:
  • 0897919548
• 出版国コード: us
• タイトル言語コード: eng
• 本文言語コード: eng
• 出版地: New York, New York
• ページ数/冊数: v, 109 p.
• 大きさ: 28 cm