DocumentCode

1164965

Title

Software verification - Precision software

Author

Bradfoot, G. ; Kielty, G.

Volume

3

Issue

4

fYear

2005

Firstpage

15

Lastpage

19

fLanguage

English

Journal_Title

Electronics Systems and Software

Publisher

iet

ISSN

1479-8336

Type

jour

Filename

1507995