Behaviour Driven Development for Testsand Verification

@inproceedings{pub7347,
    author = {

Diepenbeck, Melanie
 and 

Kühne, Ulrich
 and 

Soeken, Mathias
 and 

Drechsler, Rolf
},
    title = {Behaviour Driven Development for Testsand Verification},
    booktitle = {Tests and Proofs - 8th International Conference, TAP@STAF 2014, York, UK, July 24-25, 2014. Proceedings. International Conference on Tests & Proofs (TAP-2014), 8th, July 24-25, York, United Kingdom},
    series = {Lecture Notes in Computer Science (LNCS)},
    year = {2014},
    volume = {8570},
    publisher = {Springer},
    isbn = {978-3-319-09098-6}
}