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

Author(s)

    • Ball, Thomas
    • Rajamani, Sriram K.

Bibliographic Information

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

Available at  / 25 libraries

Search this Book/Journal

Note

Includes bibliographical references and index

Related Books: 1-1 of 1

Details

Page Top