论文信息 - Applications of Formal Methods : Developing Virtuoso Software - 字舞流文

Applications of Formal Methods : Developing Virtuoso Software

Susan L Ge | S. L. Ge

[1] David Garlan,et al. Formal Specifications as Reusable Frameworks , 1990, VDM Europe.