BAPTISTS AND MISSIONS
Formal methods Basic concepts. Introduction Just as models, formal methods is a complement to other specification methods. Standard is model-based.
Formal methods