The _________ of a formal specification language is often based on a syntax that is derived from standard set theory notation and predicate calculus.
(a) semantic domain
(b) syntactic domain
(c) sequence
(d) set
I have been asked this question during an online exam.
Query is from Formal Methods of Software Engineering topic in portion Advanced Software Engineering of Software Engineering