## Found 8 Documents (Results 1–8)

100
MathJax

Full Text:

### 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).
Full Text:

Full Text:

### A program logic for resources. (English)Zbl 1133.68010

MSC:  68N15 03B70
Full Text:

### 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).
Full Text:

### rCOS: a refinement calculus of object systems. (English)Zbl 1118.68049

MSC:  68N30 68N19 68Q55
Full Text:

MSC:  68N19
Full Text:

MSC:  68N15
Full Text:

all top 5

all top 3