The Formal Specification of Oberon.

Philipp W. Kutter Alfonso Pierantonio

Published in: J. Univers. Comput. Sci. (1997)

Keyphrases

formal specification
model checking
specification languages
specification language
object oriented design
process algebra
concurrent systems
reverse engineering
formal methods
data abstraction
temporal logic
model checker
formal specification language
artificial intelligence
multi agent
software components