BHive: Towards Behaviour-Driven Development Supported by B-Method.

John D. Carter, William B. Gardner

Browse the full IRI paper archive.