TY - BOOK TI - FME 2001 : formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings AU - Oliveira, Jose N. AU - Zave, Pamela , 1948- SN - 3540417915 (softcover : alk. paper) PB - Springer PP - Berlin ; New York : Springer , 2001. PY - 2001 UR - https://library.korea.ac.kr/detail/?cid=CAT000001078320&ctype=m