|
The Collection of Computer Science Bibliographies |
|
| Up: Bibliographies on Software/Hardware Engineering and Formal Methods | Collection Home |
[ About | Browse | Statistics ]
| Number of references: | 157 | Last update: | December 14, 2003 |
|---|---|---|---|
| Number of online publications: | 126 | Supported: | yes |
| Most recent reference: | July 2003 | Info: | Version 1.04 |
| Information on the Bibliography |
The two journals have a joint World-Wide Web site at:
http://www.acm.org/pubs/tosem Tables-of-contents of all issues are available at:
http://www.acm.org/pubs/contents/journals/tosem/ Qualified subscribers can retrieve the full text of recent articles in PDF form.
The initial draft of this bibliography was derived from data at the ACM Web site.
ACM copyrights explicitly permit abstracting with credit, so article abstracts, keywords, and subject classifications have been included in this bibliography wherever available.
The bibsource keys in the bibliography entries below indicate the data sources.
URL keys in the bibliography point to World Wide Web locations of additional information about the entry.
| 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. |