×

Found 8 Documents (Results 1–8)

100
MathJax

Graph-based object-oriented Hoare logic. (English) Zbl 1390.68192

Liu, Zhiming (ed.) et al., Theories of programming and formal methods. Essays dedicated to Jifeng He on the occasion of his 70th birthday. Berlin: Springer (ISBN 978-3-642-39697-7/pbk). Lecture Notes in Computer Science 8051, 374-393 (2013).
PDF BibTeX XML Cite
Full Text: DOI

Towards verification of C\(\#\) programs: a three-level approach. (English. Russian original) Zbl 1117.68020

Program. Comput. Softw. 32, No. 4, 190-202 (2006); translation from Programmirovanie 2006, No. 4, 4-20 (2006).
PDF BibTeX XML Cite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

Classification

all top 3

Software