OBSCURE

"A Formal Description of the Specification Language OBSCURE", J. Loeckx, TR A85/15, U Saarlandes, Saarbrucken, 1985.

[Jargon File]

Nearby terms:
oblique stroke « Oblog « OBOE « OBSCURE » observational equivalence » Oc » OC-12