Formal Methods Fact File: VDM and Z
Andrew Harry · Medical Entomology and Zoology · 1996
From the Publisher: This book presents a novel view of formal methods, spanning the range of specification techniques. It provides a short overview of formal methods and detailed chapters on the two most popular languages, VDM and Z.