( en | de | ru )

 

Disambiguierung von "Leino, K. Rustan M."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Verification Methodology for Model Fields.

, und . ESOP, Volume 3924 von Lecture Notes in Computer Science, Seite 115-130. Springer, (2006)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

K M Heinroth

Rustan Brock

Juha Leino

Rustan Brock

Markus Leinonen

 

Weitere Publikationen von Autoren mit dem selben Namen

A Basis for Verifying Multi-threaded Programs., und . ESOP, Volume 5502 von Lecture Notes in Computer Science, Seite 378-393. Springer, (2009)Efficient weakest preconditions.. Inf. Process. Lett., 93 (6): 281-288 (2005)Virginity: A Contribution to the Specification of Object-Oriented Software., und . Inf. Process. Lett., 70 (2): 99-105 (1999)An overview of JML tools and applications., , , , , , , und . Int. J. Softw. Tools Technol. Transf., 7 (3): 212-232 (2005)An Assertional Proof of the Stability and Correctness of Natural Mergesort., und . ACM Trans. Comput. Log., 17 (1): 6 (2015)Specifying and verifying software.. ASE, Seite 2. ACM, (2007)A Logic of Object-Oriented Programs., und . Verification: Theory and Practice, Volume 2772 von Lecture Notes in Computer Science, Seite 11-41. Springer, (2003)A SAT Characterization of Boolean-Program Correctness.. SPIN, Volume 2648 von Lecture Notes in Computer Science, Seite 104-120. Springer, (2003)Verified Calculations., und . VSTTE, Volume 8164 von Lecture Notes in Computer Science, Seite 170-190. Springer, (2013)An Extended Static Checker for Modular-3., und . CC, Volume 1383 von Lecture Notes in Computer Science, Seite 302-305. Springer, (1998)