OBSCURE

swMATH2575MaRDI QIDQ15114FDOQ15114

Author name not available (Why is that?)

Described by source

• OBSCURE, a specification language for abstract data types

Cited In (6)

• Mathematical instruments between material artifacts and ideal machines: their scientific and social role before 1950. Abstracts from the workshop held December 17--23, 2017
• Title not available (Why is that?)
• Toward formal development of programs from algebraic specifications: Parameterisation revisited
• Proof systems for structured specifications with observability operators
• Title not available (Why is that?)
• Algebraic system specification and development. A survey and annotated bibliography

This page was built for software: OBSCURE