( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verifying Haskell programs by combining testing, model checking and interactive theorem proving.

, , и . Inf. Softw. Technol., 46 (15): 1011-1025 (2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Haiyan Qiao

Qiao Haiyan

Haiyan Ren

Linhan Qiao

Miao Qiao

 

Другие публикации лиц с тем же именем

Improved Multistage In-Motion Attitude Determination Alignment Method for Strapdown Inertial Navigation System., , , , и . Sensors, 19 (20): 4568 (2019)The Adaptation of Online Project-Based Learning in Computer Engineering Education Settings., , , , , , и . ICL (2), том 390 из Lecture Notes in Networks and Systems, стр. 947-955. Springer, (2021)Space Encoding Based Compressive Tracking with Wireless Fiber-Optic Sensors., , , , и . MLICOM (1), том 226 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 12-21. Springer, (2017)Verifying Haskell programs by combining testing, model checking and interactive theorem proving., , и . Inf. Softw. Technol., 46 (15): 1011-1025 (2004)