author : Robert B. France

Short works

• A Two-Dimensional View of Integrated Formal and Informal Specification Techniques. 1995. (In ZUM '95 )