%0 Conference Paper %1 conf/iri/CarterG16 %A Carter, John D. %A Gardner, William B. %B IRI %D 2016 %I IEEE Computer Society %K dblp %P 249-256 %T BHive: Towards Behaviour-Driven Development Supported by B-Method. %U http://dblp.uni-trier.de/db/conf/iri/iri2016.html#CarterG16 %@ 978-1-5090-3207-5

@inproceedings{conf/iri/CarterG16, added-at = {2023-03-23T00:00:00.000+0100}, author = {Carter, John D. and Gardner, William B.}, biburl = {https://www.bibsonomy.org/bibtex/24be3d40dca8bf634c786e369cce07039/dblp}, booktitle = {IRI}, crossref = {conf/iri/2016}, ee = {https://doi.ieeecomputersociety.org/10.1109/IRI.2016.39}, interhash = {ab3f93144d7a4813cf8a84ca85642eb4}, intrahash = {4be3d40dca8bf634c786e369cce07039}, isbn = {978-1-5090-3207-5}, keywords = {dblp}, pages = {249-256}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T04:22:35.000+0200}, title = {BHive: Towards Behaviour-Driven Development Supported by B-Method.}, url = {http://dblp.uni-trier.de/db/conf/iri/iri2016.html#CarterG16}, year = 2016 }