Formal Definition

From GM-RKB
Jump to: navigation, search

A Formal Definition is a Concept Definition in the form of a Formal Specification.