Formal Specification and Development in B

Known Releases

Directory Listings
Not in DOAJ
Not in ISSN ROAD
Not in Keepers Registry

Preservation Holdings

Lookup Links

wikidata.org

Catalog Record
Revision: 3dacc322-0ed5-47e8-8802-f6f2343cff22
API URL: JSON

Formal Specification and Development in B container_s6anw33oyragdfunz2awfvft5u