The Collection of
Computer Science Bibliographies
The RAISE Bibliography
[ About | Browse | Statistics ]
Number of references: | 55 | Last update: | February 23, 2001 |
---|
Number of online publications: | 1 | Supported: | yes |
---|
Most recent reference: | March 1996 |
| |
---|
- Author:
- Peter Gorm Larsen <peter @ ifad . dk> (email mangled to prevent spamming)
IFAD
Forskerparken 10
DK-5230 Odense M
Denmark
- Abstract:
-
References related to the formal method called RAISE
- Keywords:
-
Software Engineering, Formal Methods
- Types:
- inproceedings(24), techreport(12), misc(9),
article(5), book(2), inbook(1), incollection(1),
manual(1)
- Fields:
- key(55), title(55), year(55), author(54), comment(33),
month(31), publisher(26), booktitle(25), size(25),
number(13), pages(12), institution(11), note(8),
howpublished(7), editor(6), volume(6), journal(5),
series(5), annote(3), organization(3), type(3),
address(2)
- Distribution of publication dates:
-