APA (7th ed.) Citation

Idani, A., & Ledru, Y. (2006). Dynamic graphical UML views from formal B specifications. Information & Software Technology, 48(3), 154. https://doi.org/10.1016/j.infsof.2005.03.008

Chicago Style (17th ed.) Citation

Idani, Akram, and Yves Ledru. "Dynamic Graphical UML Views from Formal B Specifications." Information & Software Technology 48, no. 3 (2006): 154. https://doi.org/10.1016/j.infsof.2005.03.008.

MLA (9th ed.) Citation

Idani, Akram, and Yves Ledru. "Dynamic Graphical UML Views from Formal B Specifications." Information & Software Technology, vol. 48, no. 3, 2006, p. 154, https://doi.org/10.1016/j.infsof.2005.03.008.