A Review of Object-oriented Approaches in Formal Methods.

Antonio Ruiz-Delgado David H. Pitt Colin Smythe

Published in: Comput. J. (1995)

Keyphrases

formal methods
object oriented
data mining
model checking
reactive systems
artificial intelligence
high level
data model
programming language
software development