zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

Andrews, Derek J. (ed.) et al., Semantics of specification languages (SoSL). Proceedings of the International Workshop, Utrecht, the Netherlands, 25-27 October 1993. Berlin: Springer-Verlag. Workshops in Computing. 232-251 (1994).
MSC:  68Q60 68Q65 68N15
BibTeX Cite

Filter Results by …

Document Type
Year of Publication