The Collection of
Computer Science Bibliographies

Bibliography on the B method for formal specification of software

[   About   |  Browse   |   Statistics   ]

Number of references:431Last update:March 20, 2008
Number of online publications:205Supported:yes
Most recent reference:December 2007

Information on the Bibliography

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

Browsing the bibliography

Bibliographic Statistics

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!