Volume 184; Issue none

1

Mechanised Refinement of Procedures

Year:
2007
Language:
english
File:
PDF, 569 KB
english, 2007
5

Towards Property Oriented Testing

Year:
2007
Language:
english
File:
PDF, 459 KB
english, 2007
6

Preface

Year:
2007
Language:
english
File:
PDF, 94 KB
english, 2007
10

Distributing the Workload in a Lazy Theorem-Prover

Year:
2007
Language:
english
File:
PDF, 359 KB
english, 2007
11

Integrating UML and Formal Methods

Year:
2007
Language:
english
File:
PDF, 335 KB
english, 2007