( en | de | ru )

 

Disambiguation of "German, Steven M."

Author of the publication

copydeleteadd this publication to your clipboard
True Relative Completeness of an Axiom System for the Language L4 (Abridged)

, , and . LICS, page 11-25. IEEE Computer Society, (1986)

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. You can also use the button next to the name to display some publications already assigned to the person.

Adolf Steven

Doris Steven

Steven Ahlig

Steven Badack

Steven Dralle

 

Other publications of authors with the same name

Reasoning about systems with many processes, and . J. ACM, 39 (3): 675--735 (1992)On Effective Axiomatizations of Hoare Logics., , and . POPL, page 309-321. ACM Press, (1982)Exploiting Symmetry and Transactions for Partial Order Reduction of Rule Based Specifications., , and . SPIN, volume 3925 of Lecture Notes in Computer Science, page 252-270. Springer, (2006)Verifying the SRT Division Algorithm Using Theorem Proving Techniques., , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 111-122. Springer, (1996)A synthesizer of inductive assertions., and . AFIPS National Computer Conference, volume 44 of AFIPS Conference Proceedings, page 369-376. AFIPS Press, (1975)A theory of abstraction for arrays.. FMCAD, page 176-185. FMCAD Inc., (2011)Transaction Based Modeling and Verification of Hardware Protocols., , and . FMCAD, page 53-61. IEEE Computer Society, (2007)True Relative Completeness of an Axiom System for the Language L4 (Abridged), , and . LICS, page 11-25. IEEE Computer Society, (1986)Reasoning About Procedures as Parameters., , and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 206-220. Springer, (1983)Symbolic Partial Order Reduction for Rule Based Transition Systems., , and . CHARME, volume 3725 of Lecture Notes in Computer Science, page 332-335. Springer, (2005)