The following pages link to Bernd Krieg-Brückner (Q578890):
Displayed 15 items.
- ANNA. A language for annotating Ada programs. Reference manual (Q578891) (← links)
- Partial pushout semantics of generics in DOL (Q724938) (← links)
- (Q1157129) (redirect page) (← links)
- Programming in a wide spectrum language: A collection of examples (Q1157137) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- (Q2722020) (← links)
- (Q3707372) (← links)
- Derivation of Invariant Assertions During Program Development by Transformation (Q3922137) (← links)
- (Q4035701) (← links)
- (Q4373553) (← links)
- (Q4673951) (← links)
- (Q4702604) (← links)
- Formal Modelling for Cooking Assistance (Q5256360) (← links)
- Recent Trends in Algebraic Development Techniques (Q5703999) (← links)
- Mechanizing Mathematical Reasoning (Q5717451) (← links)