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

Georges Mariano <georges . mariano @ inrets . fr> (email mangled to prevent spamming)
This a bibliography relating to the B method and other areas of formal specification
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

inproceedings(298), article(27), proceedings(24), phdthesis(22), techreport(20), book(13), unpublished(10), inbook(9), incollection(6), misc(3), booklet(1)
year(463), title(433), author(405), booktitle(310), 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!