Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

著者

    • Ball, Thomas
    • Rajamani, Sriram K.

書誌事項

Model checking software : 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings

Thomas Ball, Sriram K. Rajamani (eds.)

(Lecture notes in computer science, 2648)

Springer, c2003

大学図書館所蔵 件 / 25

この図書・雑誌をさがす

注記

Includes bibliographical references and index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ