A collection of 33 revised papers, 10 tool papers and 11 invited contributions from the Tenth International Conference on Computer Aided Verification. Among the topics covered are modelling and specification formalisms; verification techniques; and model checking, synthesis and automated deduction.
- Limba : Engleza
- Data Publicarii : 03 Jun 1998
- Format : Paperback
- Numar pagini : 562
- ISBN : 9783540646082