Alexei Iliasov. Use Case Scenarios as Verification Conditions: Event-B/Flow Approach. In Elena Troubitsyna, editor, Software Engineering for Resilient Systems - Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011. Proceedings. Volume 6968 of Lecture Notes in Computer Science, pages 9-23, Springer, 2011. [doi]
Abstract is missing.