APA
Mizuno T. . V. . N. . H. T. . T. A. ., . (1997). Formal description techniqices and protocol specification testing and verification forte x / PSTV XVII .97. London: Chapman.
Chicago
Mizuno T Vshiraior N Higashino T Togashi A, . 1997. Formal description techniqices and protocol specification testing and verification forte x / PSTV XVII .97. London: Chapman.
Harvard
Mizuno T. . V. . N. . H. T. . T. A. ., . (1997). Formal description techniqices and protocol specification testing and verification forte x / PSTV XVII .97. London: Chapman.
MLA
Mizuno T Vshiraior N Higashino T Togashi A, . Formal description techniqices and protocol specification testing and verification forte x / PSTV XVII .97. London: Chapman. 1997.