..............page:54-55,69
..............page:70-73,86
..............page:26-29,49
..............page:20-23,33
Formal Methods for Software
zhang guang quan 1; 2 (1.dept. of mathematics and computer science; chongqing normal university; chongqing 400047; 2.key lab. of computer science; the chinese academy of sciences; beijing 100080; china )
..............page:1-4,9
..............page:39-41,94
On (g,f)-3-Covered Graphs
huang guang xin (dept.of mathematics and computer science; chongqing normal university ; chongqing 400047; china)
..............page:24-25