Formal Methods: Theory and Practice
P.N. Scharbach · Medical Entomology and Zoology · 1989
Formal methods - theory and practice LOTOS and the formal specification of communication standards - an example developing a high level specification formalism form specification, through design to code - a case study in refinement simple transaction processing and CSP.