©2013 National Research Council of Thailand
Chatchai Koetsawat. 2001. A formal approach to program verification. Field of Study Computational Science, Chulalongkorn University;
Chatchai Koetsawat. (2001) A formal approach to program verification . Chulalongkorn University/Bangkok.
Chatchai Koetsawat. A formal approach to program verification. . Bangkok:Chulalongkorn University, 2001.
Chatchai Koetsawat. (2001) A formal approach to program verification . Chulalongkorn University/Bangkok.