Travelled to:
1 × Portugal
Collaborated with:
S.Sawicki F.Roos-Frantz R.Z.Frantz
Talks about:
formalis (1) languag (1) integr (1) applic (1) notat (1) use (1)
Person: Mauri J. Klein
DBLP: Klein:Mauri_J=
Contributed to:
Wrote 1 papers:
- ICEIS-v1-2014-KleinSRF #formal method #integration #on the #using
- On the Formalisation of an Application Integration Language Using Z Notation (MJK, SS, FRF, RZF), pp. 314–319.