Information Journal Paper
APA:
CopyTSAI, J.J.P., & XU, K.. (2000). A COMPARATIVE STUDY OF FORMAL VERIFICATION TECHNIQUES FOR SOFTWARE ARCHITECTURE SPECIFICATIONS. ANNALS OF SOFTWARE ENGINEERING, 10(1-4), 207-223. SID. https://sid.ir/paper/623293/en
Vancouver:
CopyTSAI J.J.P., XU K.. A COMPARATIVE STUDY OF FORMAL VERIFICATION TECHNIQUES FOR SOFTWARE ARCHITECTURE SPECIFICATIONS. ANNALS OF SOFTWARE ENGINEERING[Internet]. 2000;10(1-4):207-223. Available from: https://sid.ir/paper/623293/en
IEEE:
CopyJ.J.P. TSAI, and K. XU, “A COMPARATIVE STUDY OF FORMAL VERIFICATION TECHNIQUES FOR SOFTWARE ARCHITECTURE SPECIFICATIONS,” ANNALS OF SOFTWARE ENGINEERING, vol. 10, no. 1-4, pp. 207–223, 2000, [Online]. Available: https://sid.ir/paper/623293/en