The following pages link to OBSCURE (Q15114):
Displaying 6 items.
- Algebraic system specification and development. A survey and annotated bibliography (Q1202052) (← links)
- Toward formal development of programs from algebraic specifications: Parameterisation revisited (Q1323357) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- Mathematical instruments between material artifacts and ideal machines: their scientific and social role before 1950. Abstracts from the workshop held December 17--23, 2017 (Q1731968) (← links)
- (Q3707396) (← links)
- (Q3814782) (← links)