( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
From Hoare Logic to Matching Logic Reachability.

, и . FM, том 7436 из Lecture Notes in Computer Science, стр. 387-402. Springer, (2012)

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.

Grigore Burloiu

Grigore Tabacaru

Grigore Nicolae

Marius Rosu

Grigore Tabacaru

 

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

A Language-Independent Program Verification Framework., и . ISoLA (2), том 11245 из Lecture Notes in Computer Science, стр. 92-102. Springer, (2018)An Effective Algorithm for the Membership Problem for Extended Regular Expressions.. FoSSaCS, том 4423 из Lecture Notes in Computer Science, стр. 332-345. Springer, (2007)Computationally Equivalent Elimination of Conditions., и . RTA, том 4098 из Lecture Notes in Computer Science, стр. 19-34. Springer, (2006)Parametric Trace Slicing and Monitoring., и . TACAS, том 5505 из Lecture Notes in Computer Science, стр. 246-261. Springer, (2009)Maximal Causal Models for Sequentially Consistent Systems., , и . RV, том 7687 из Lecture Notes in Computer Science, стр. 136-150. Springer, (2012)IELE: A Rigorously Designed Language and Tool Ecosystem for the Blockchain., , , , , , , , и . FM, том 11800 из Lecture Notes in Computer Science, стр. 593-610. Springer, (2019)Formally Defining and Verifying Master/Slave Speculative Parallelization., , и . FM, том 3582 из Lecture Notes in Computer Science, стр. 123-138. Springer, (2005)Generating Optimal Linear Temporal Logic Monitors by Coinduction., , и . ASIAN, том 2896 из Lecture Notes in Computer Science, стр. 260-275. Springer, (2003)Weak Inclusion Systems: Part Two., и . J. Univers. Comput. Sci., 6 (1): 5-21 (2000)The K Primer (version 3.3)., , , , , и . K, том 304 из Electronic Notes in Theoretical Computer Science, стр. 57-80. Elsevier, (2011)