OTSL

swMATH21005MaRDI QIDQ32818FDOQ32818

Author name not available (Why is that?)

Described by source

• Operational ontological approach to formal programming language specification

Cited In (2)

• A language of actions in ontological transition systems
• Ontological transition systems structures

This page was built for software: OTSL