Springer
F. Arbab (Farhad) , M. Sirjani (Marjan)
IPM International Symposium on Fundamentals of Software Engineering
Software Analysis and Transformation

Fokkink, W., Klint, P., Lisser, B., & Usenko, Y. (2009). Automated translation and analysis of a ToolBus script for auctions. In F. Arbab & M. Sirjani (Eds.), Proceedings of IPM International Symposium on Fundamentals of Software Engineering 2009 (3). Springer.