TY - BOOK TI - Formal methods in computing AU - Ferenczi, M. (Miklos) AU - Pataricza, Andras , 1954- AU - Ronyai, Lajos. SN - 9630582589 PB - Akademiai, Kiado PP - Budapest : Akademiai, Kiado , c2005. PY - 2005 UR - https://library.korea.ac.kr/detail/?cid=CAT000045408832&ctype=m