( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Integrating formal specifications into applications: the ProB Java API.

, , , , и . Formal Methods Syst. Des., 58 (1-2): 160-187 (2021)

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.

Michael Leuschel

Dieter Leuschel

Roland Leuschel

Hilde Leuschel

Michael Schoierer

NS-Diktatur, Anomie und Demokratisierung Westdeutschlands. Uni Augsburg, (2007)
 

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

Translating Alloy and extensions to classical B., , , , и . Sci. Comput. Program., (2020)VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics., и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 260-265. Springer, (2020)ProB and Jupyter for Logic, Set Theory, Theoretical Computer Science and Formal Methods., и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 248-254. Springer, (2020)Towards a Shared Specification Repository., , и . ABZ, том 12071 из Lecture Notes in Computer Science, стр. 266-271. Springer, (2020)Constraint Logic Programming over Infinite Domains with an Application to Proof., и . WLP / WFLP, том 234 из EPTCS, стр. 73-87. (2017)Translating B to TLA + for Validation with TLC., и . ABZ, том 8477 из Lecture Notes in Computer Science, стр. 40-55. Springer, (2014)Enabling Analysis for Event-B., и . ABZ, том 9675 из Lecture Notes in Computer Science, стр. 102-118. Springer, (2016)Generating Event-B Specifications from Algorithm Descriptions., , , , и . ABZ, том 9675 из Lecture Notes in Computer Science, стр. 183-197. Springer, (2016)Automatic Refinement Checking for B., и . ICFEM, том 3785 из Lecture Notes in Computer Science, стр. 345-359. Springer, (2005)Partial Evaluation of the "Real Thing".. LOPSTR, том 883 из Lecture Notes in Computer Science, стр. 122-137. Springer, (1994)