Operational, denotational and logical descriptions: a case study.

Lavinia Egidi Furio Honsell Simona Ronchi Della Rocca

Published in: Fundam. Informaticae (1992)

Keyphrases

case study
high level
operational semantics
logical reasoning
emergency management
wide range
artificial neural networks
evolutionary algorithm
logical properties