V. Kasurinen

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

1996

1 V. Kasurinen, Kaisa Sere: Integrating Action Systems and Z in a Medical System Specification. FME 1996: 105-119

	1996
1		V. Kasurinen, Kaisa Sere: Integrating Action Systems and Z in a Medical System Specification. FME 1996: 105-119

Coauthor Index