( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Invariants on Demand.

. SEFM, стр. 148-149. IEEE Computer Society, (2005)

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.

K M Heinroth

Rustan Brock

Juha Leino

Rustan Brock

Markus Leinonen

 

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

Efficient weakest preconditions.. Inf. Process. Lett., 93 (6): 281-288 (2005)Virginity: A Contribution to the Specification of Object-Oriented Software., и . Inf. Process. Lett., 70 (2): 99-105 (1999)Tools and Behavioral Abstraction: A Direction for Software Engineering.. The Future of Software Engineering, стр. 115-124. Springer, (2010)Festschrift for Bertrand Meyer on the Occasion of His 60th Birthday, November 2010.Specifying and verifying software.. ASE, стр. 2. ACM, (2007)A Logic of Object-Oriented Programs., и . Verification: Theory and Practice, том 2772 из Lecture Notes in Computer Science, стр. 11-41. Springer, (2003)A SAT Characterization of Boolean-Program Correctness.. SPIN, том 2648 из Lecture Notes in Computer Science, стр. 104-120. Springer, (2003)A Basis for Verifying Multi-threaded Programs., и . ESOP, том 5502 из Lecture Notes in Computer Science, стр. 378-393. Springer, (2009)An Extended Static Checker for Modular-3., и . CC, том 1383 из Lecture Notes in Computer Science, стр. 302-305. Springer, (1998)Verified Calculations., и . VSTTE, том 8164 из Lecture Notes in Computer Science, стр. 170-190. Springer, (2013)An overview of JML tools and applications., , , , , , , и . Int. J. Softw. Tools Technol. Transf., 7 (3): 212-232 (2005)