The Collection of
Computer Science Bibliographies
Bibliography on the B method for formal specification of software
[ About | Browse | Statistics ]
| Number of references: | 431 | Last update: | March 20, 2008 |
|---|
| Number of online publications: | 205 | Supported: | yes |
|---|
| Most recent reference: | December 2007 |
| |
|---|
- Author:
- Georges Mariano <georges . mariano @ inrets . fr> (email mangled to prevent spamming)
- Abstract:
-
This a bibliography relating to the B method and other areas of formal specification
- Keywords:
-
formal specification, B method, software engineering
- Author Comments:
-
This bibliography is far from being comprehensive and is still evolving
- B Bibliography
- Types:
- inproceedings(297), article(27), proceedings(24),
phdthesis(21), techreport(20), book(13),
unpublished(10), inbook(9), incollection(6), misc(3),
booklet(1)
- Fields:
- year(461), booktitle(436), title(431), author(403),
month(296), pages(276), keywords(236), publisher(208),
editor(196), address(195), abstract(181), series(167),
volume(152), organization(131), isbn(112), url(106),
number(49), institution(37), issn(33), doi(31),
doi-url(31), journal(27), school(21), note(17),
key(16), source(8), book(7), ps(6), chapter(5), pdf(4),
type(4), annote(3), bibdate(1), coden(1), crossref(1),
howpublished(1), language(1)
- Distribution of publication dates:
-
