Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS … by International Federation for Information Processing, Working Group Architecture and Protocols for Computer Networks, ICTSS, Paris) fromLecture Notes in Computer Science 0 Type: Book
Model checking software: proceedings/ 18th International SPIN Workshop, Sn… by International SPIN Workshop, Snowbird, Utah fromLecture Notes in Computer Science 0 Type: Book
Algebraic methodology and software technology: 13th international conference ; revised selected … by AMAST, Lac Beauport fromLecture Notes in Computer Science 0 Type: Book
Formal methods for components and objects: 9th international symposium ; revised papers by FMCO, Graz fromLecture Notes in Computer Science 0 Type: Book
Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstr… by WEISS, BENJAMIN 0 Type: Book
