Integrating Action Systems and Z in a Medical System Specification.

V. Kasurinen, Kaisa Sere

Browse the full FM paper archive.