Robert J. Du Wors

Publication Activity (10 Years)

Years Active: 1990-1990
Publications (10 Years): 0

Publications

Luigi Logrippo, Tim Melanchuk, Robert J. Du Wors
The algebraic specification language LOTOS: an industrial experience. Formal Methods in Software Development (1990)