Mauri J. Klein, Sandro Sawicki, Fabricia Roos-Frantz, Rafael Z. Frantz
On the Formalisation of an Application Integration Language Using Z Notation
ICEIS, 2014.
@inproceedings{ICEIS-v1-2014-KleinSRF,
author = "Mauri J. Klein and Sandro Sawicki and Fabricia Roos-Frantz and Rafael Z. Frantz",
booktitle = "{Proceedings of the 16th International Conference on Enterprise Information Systems, Volume 1}",
doi = "10.5220/0004967003140319",
isbn = "978-989-758-027-7",
pages = "314--319",
publisher = "{SciTePress}",
title = "{On the Formalisation of an Application Integration Language Using Z Notation}",
year = 2014,
}