Behaviour Driven Development for Tests and Verification

Tests and Proofs - Lecture Notes in Computer Science ◽

10.1007/978-3-319-09099-3_5 ◽

2014 ◽

pp. 61-77

Author(s):

Melanie Diepenbeck ◽

Ulrich Kühne ◽

Mathias Soeken ◽

Rolf Drechsler

Download Full-text