The Collection of
Computer Science Bibliographies
Up: Bibliographies on Software/Hardware Engineering and Formal Methods Collection Home

Bibliography on the B method for formal specification of software

[   About   |  Browse   |   Statistics   ]

Number of references:315Last update:June 21, 2004
Number of online publications:85Supported:yes
Most recent reference:September 2004

Search the bibliography

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

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(212), techreport(22), article(18), proceedings(17), book(12), phdthesis(9), unpublished(8), inbook(6), incollection(6), misc(3), booklet(1), mastersthesis(1)
Fields:
year(316), title(315), author(295), booktitle(292), month(248), pages(192), address(167), publisher(136), abstract(115), keywords(115), organization(112), series(108), editor(103), volume(90), url(86), isbn(55), institution(38), number(34), local(22), journal(18), note(18), key(16), type(15), school(10), source(8), chapter(5), sort(4), category(3), crinnumber(3), page(3), annote(2), editors(2), keyword(2), slides(2), urlps(2), acknowledgement(1), bibdate(1), book(1), coden(1), crossref(1), equipe(1), howpublished(1), issn(1), numero(1)

Distribution of publication dates:

Distribution of publication dates

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.