V. Kasurinen

Publication Activity (10 Years)

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

Publications

V. Kasurinen, Kaisa Sere
Integrating Action Systems and Z in a Medical System Specification. FME (1996)