( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specifying the Boundary Between Unverified and Verified Code.

, и . The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 105-128. Springer, (2022)

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)Specifying and verifying software.. ASE, стр. 2. ACM, (2007)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.A Logic of Object-Oriented Programs., и . Verification: Theory and Practice, том 2772 из Lecture Notes in Computer Science, стр. 11-41. Springer, (2003)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)A Basis for Verifying Multi-threaded Programs., и . ESOP, том 5502 из Lecture Notes in Computer Science, стр. 378-393. Springer, (2009)An Assertional Proof of the Stability and Correctness of Natural Mergesort., и . ACM Trans. Comput. Log., 17 (1): 6 (2015)Compiling Hilbert's epsilon operator.. LPAR (short papers), том 35 из EPiC Series in Computing, стр. 106-118. EasyChair, (2015)Staged program development.. SPLASH, стр. 3-4. ACM, (2012)