Proceedings of the International Workshop on Formal Methods for Analysis of Business Systems
ACM Digital Library