The KeY tool 论文

2004Software & Systems Modeling引用 261
DOIPDF
Advanced Software Engineering MethodologiesModel-Driven Software Engineering TechniquesSoftware Engineering Research
企业软件Software Engineering ResearchModel-Driven Software Engineering TechniquesAdvanced Software Engineering Methodologies
相关技术:Model-Driven Software Engineering TechniquesAdvanced Software Engineering Methodologies
关系图谱

The KeY tool · 作者

P

Peter H. Schmitt

S

Steffen Schlager

A

Andreas Roth

W

Wojciech Mostowski

W

Wolfram Menzel

R

Reiner Hähnle

M

Martin A. Giese

R

Richard Bubel

B

Bernhard Beckert

T

Thomas Baar

W

Wolfgang Ahrendt