Formal Semantic Model

From GM-RKB
(Redirected from formal semantic model)
Jump to: navigation, search

A Formal Semantic Model is a Semantic Model that has a Formal Specification.