Concepedia

Rupert Gnatz

RG

Statistics

Publications

2

Citations

63

H-Index

2

Active since

1978

Affiliations

Technical University of Munich(Current)

Rupert Gnatz is an author at Technical University of Munich specializing in engineering, system software, and formal verification.

Top concepts

Publications per year

1978–1983

2

Publications

2

Towards a wide spectrum language to support program specification and program development

Friedrich L. Bauer, Manfred Broy, Rupert Gnatz et al. · ACM SIGPLAN Notices · 1978 · 51 citations

, , +21

An Algebraic Approach to the Standardization and the Certification of Graphics Software

Rupert Gnatz · Computer Graphics Forum · 1983 · 12 citations

, , +16

1–2 of 2