( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems.

, , , и . VSTTE, том 5295 из Lecture Notes in Computer Science, стр. 54-69. Springer, (2008)

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.

Hua Shao

Li Shao

Hua Shao

Junyang Shao

Weimin Zhong

 

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

Typed common intermediate format.. ACM SIGSOFT Softw. Eng. Notes, 25 (1): 82 (2000)Callee-Save Registers in Continuation-Passing Style., и . LISP Symb. Comput., 5 (3): 191-221 (1992)Ou: Automating the Parallelization of Zero-Knowledge Protocols., , , , , , , и . CCS, стр. 534-548. ACM, (2023)Combining Domain-Specific and Foundational Logics to Verify Complete Software Systems., , , и . VSTTE, том 5295 из Lecture Notes in Computer Science, стр. 54-69. Springer, (2008)TimeDice: Schedulability-Preserving Priority Inversion for Mitigating Covert Timing Channels Between Real-time Partitions., , , и . DSN, стр. 453-465. IEEE, (2022)Space-Efficient Closure Representations., и . LISP and Functional Programming, стр. 150-161. ACM, (1994)Building certified concurrent OS kernels., , , , , , , и . Commun. ACM, 62 (10): 89-99 (2019)Modular verification of concurrent assembly code with dynamic thread creation and termination., и . ICFP, стр. 254-267. ACM, (2005)Flexible Representation Analysis.. ICFP, стр. 85-98. ACM, (1997)SIGPLAN Notices 32(8), August 1997.Representing Java Classes in a Typed Intermediate Language., , и . ICFP, стр. 183-196. ACM, (1999)SIGPLAN Notices 34(9), September 1999.