Peter A. Lindsay

Publication Activity (10 Years)

Years Active: 1986-2015
Publications (10 Years): 0

Top Topics

Formal Specification

Natural Language

Top Venues

Formal Aspects Comput.

J. Syst. Softw.

Publications