Formal methods in system design.

v.13no.2(1998)(09), v.13no.3(1998)(11), v.26no.1(2005)(01), v.26no.2(2005)(03), v.26no.3(2005)(05), v.27no.1/2(2005)(09), v.27no.3(2005)(11), v.28no.1(2006)(01), v.28no.2(2006)(03), v.28no.3(2006)(05), v.29no.1(2006)(07), v.29no.2(2006)(09), v.29no.3(2006)(12), v.30no.1(2007)(02), v.30no.2(2007)(04), v.30no.3(2007)(06), v.31no.1(2007)(08), v.31no.2(2007)(10), v.31no.3(2007)(12), v.32no.1(2008)(02), v.32no.2(2008)(04), v.32no.3(2008)(06), v.33no.1/3(2008)(12)