Pages that link to "Item:Q1062444"
From MaRDI portal
The following pages link to The Munich project CIP. Volume I: The wide spectrum language CIP-L (Q1062444):
Displayed 12 items.
- Towards ``mouldable code'' via nested code graph transformation (Q406453) (← links)
- Gunther Schmidt's life as a mathematician and computer scientist (Q406464) (← links)
- Provably correct derivation of algorithms using FermaT (Q736840) (← links)
- Petri nets and algebraic specifications (Q804305) (← links)
- Analysis of program optimization possibilities and further development (Q808282) (← links)
- A specification-oriented semantics for the refinement of real-time systems (Q1331923) (← links)
- On the creation of a macromodel of social development (Q1333704) (← links)
- Real-time refinement in Manna and Pnueli's temporal logic (Q1815342) (← links)
- Formalized program specifications and transformation synthesis (Q1899896) (← links)
- Compatibility problems in the development of algebraic module specifications (Q2638799) (← links)
- On the formalization of semantic conventions (Q3211280) (← links)
- Assertions and recursions (Q4645810) (← links)