BloomingLeaf: A Formal Tool for Requirements Evolution over Time
Alicia M. Grubb, Marsha Chechik, “BloomingLeaf: A Formal Tool for Requirements Evolution over Time.” Proceedings of the IEEE 26th International Requirements Engineering Conference (RE): Posters & Tool Demos, 2018.