Language:

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

International SPIN Workshop (10 2003 Portland, Or.) Thomas Ball 1965- (Thomas Jaudon); Sriram K Rajamani 1970-

Available at ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.2648 )(GetIt)

Title:
Model checking software 10th International SPIN Workshop, Portland, OR, USA, May 9-10, 2003 : proceedings
Author: International SPIN Workshop (10 2003 Portland, Or.)
Thomas Ball 1965- (Thomas Jaudon); Sriram K Rajamani 1970-
Subjects: Computer software -- Verification -- Congresses; LÓGICA; ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS; SPIN (Computer file) -- Congresses
Notes: Includes bibliographical references and index
Related Titles: Series:Lecture notes in computer science 2648
Publisher: Berlin Springer New York
Creation Date: c2003
Format: viii, 239 p. ill. 24 cm.
Language: English

Links

Back to results list

Previous Result 2 Next Go to Next page