PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Gurov, Dilian"

Author of the publication

copydeleteadd this publication to your clipboard
A Hoare Logic Contract Theory: An Exercise in Denotational Semantics.

, and . Principled Software Development, page 119-127. Springer, (2018)

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. You can also use the button next to the name to display some publications already assigned to the person.

No persons found for author name Gurov, Dilian
add a person with the name Gurov, Dilian
 

Other publications of authors with the same name

CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties., and . FoVeOOS, volume 6528 of Lecture Notes in Computer Science, page 107-121. Springer, (2010)Procedure-modular verification of control flow safety properties., , and . FTfJP@ECOOP, page 5:1-5:7. ACM, (2010)Verifying a Structured Peer-to-Peer Overlay Network: The Static Case., , , and . Global Computing, volume 3267 of Lecture Notes in Computer Science, page 250-265. Springer, (2004)Procedure-modular specification and verification of temporal safety properties., , and . Software and Systems Modeling, 14 (1): 83-100 (2015)The Erlang Verification Tool., , and . TACAS, volume 2031 of Lecture Notes in Computer Science, page 582-586. Springer, (2001)Self-Correlation and Maximum Independence in Finite Relations., and . FICS, volume 191 of EPTCS, page 60-74. (2015)Model Checking of Multi-Applet JavaCard Applications., , and . CARDIS, page 87-96. USENIX, (2002)Reducing Behavioural to Structural Properties of Programs with Procedures., and . VMCAI, volume 5403 of Lecture Notes in Computer Science, page 136-150. Springer, (2009)Sound Control Flow Graph Extraction from Incomplete Java Bytecode Programs., , and . FASE, volume 8411 of Lecture Notes in Computer Science, page 215-229. Springer, (2014)Compositional Verification of Secure Applet Interactions., , and . FASE, volume 2306 of Lecture Notes in Computer Science, page 15-32. Springer, (2002)