|
The Collection of Computer Science Bibliographies |
|
| Up: Bibliographies on Software/Hardware Engineering and Formal Methods | Collection Home |
[ About | Browse | Statistics ]
| Number of references: | 4623 | Last update: | April 11, 2003 |
|---|---|---|---|
| Number of online publications: | 1 | Supported: | yes |
| Most recent reference: | 1999 | Info: | Converted from refer format |
| Information on the Bibliography |
Please email to: hise-refs@minster.york.ac.uk.
We will accept new references in the following (descending) order of preference: EndNote, Refer, BibTex, text. We will also welcome additional abstracts, where available.
Acknowledgements: We will welcome any suggestions for improvement.
The dependability database was initially collated as part of a UK Health and Safety Executive project called KERSD. We gratefully ackowledge their support in enabling this database to be created. We also acknowledge the support of the following who have generously given help and allowed their references to be incorporated into this database:
| Browsing the bibliography |
| Bibliographic Statistics |
|
Please direct comments regarding the bibliography collection
to <liinwwwa@ira.uka.de>.
This page is part of the Computer
Science Bibliography Collection. |