The Collection of
Computer Science Bibliographies

Bibliography on the B method for formal specification of software

[   About   |  Browse   |   Statistics   ]

Number of references:433Last update:November 6, 2008
Number of online publications:0Supported:yes
Most recent reference:December 2007

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

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(298), article(27), proceedings(24), phdthesis(22), techreport(20), book(13), unpublished(10), inbook(9), incollection(6), misc(3), booklet(1)
Fields:
year(463), booktitle(437), title(433), author(405), month(297), pages(277), keywords(237), publisher(208), editor(196), address(195), abstract(182), series(168), volume(152), organization(131), isbn(112), url(107), number(50), institution(37), issn(33), doi(31), doi-url(31), journal(27), school(22), 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!