Information Journal Paper
APA:
CopyBOWEN, J., & HINCHEY, M.. (2006). TEN COMMANDMENTS OF FORMAL METHODS... TEN YEARS LATER. IEEE COMPUTER, 39(1), 40-48. SID. https://sid.ir/paper/638194/en
Vancouver:
CopyBOWEN J., HINCHEY M.. TEN COMMANDMENTS OF FORMAL METHODS... TEN YEARS LATER. IEEE COMPUTER[Internet]. 2006;39(1):40-48. Available from: https://sid.ir/paper/638194/en
IEEE:
CopyJ. BOWEN, and M. HINCHEY, “TEN COMMANDMENTS OF FORMAL METHODS... TEN YEARS LATER,” IEEE COMPUTER, vol. 39, no. 1, pp. 40–48, 2006, [Online]. Available: https://sid.ir/paper/638194/en