From post

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.

 

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

Indexed and Fibred Structures for Hoare Logic., , и . LSFA, том 348 из Electronic Notes in Theoretical Computer Science, стр. 125-145. Elsevier, (2019)Programming Language Semantics with Isabelle/HOL.. WEIT, стр. 14-21. IEEE Computer Society, (2013)Indexed and fibered structures for partial and total correctness assertions., , и . Math. Struct. Comput. Sci., 32 (9): 1145-1175 (октября 2022)Reasoning about Partial Correctness Assertions in Isabelle/HOL.. RITA, 27 (3): 84-101 (2020)