Technology for Specifying and Generating Critical Data Processsing Programs

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined/Unknown
Title of host publication	Proceedings of 8th International Conference on Quality of Research
Publication status	Published - 2005

AGi.overview.QIR05

Keywords

@inproceedings{9931b8bd8ba746d9825d4d33de5289e2,

title = "Technology for Specifying and Generating Critical Data Processsing Programs",

keywords = "Wiskunde en Informatica (WIIN)",

author = "H. Suhartanto and I.S.W.B. Prasetya and B. Widjaja and Stefanus, \{L. Y.\} and A. Azurat and S. Aminah and J. Bong",

note = "AGi.overview.QIR05",

year = "2005",

language = "Undefined/Unknown",

booktitle = "Proceedings of 8th International Conference on Quality of Research",

}

TY - GEN

T1 - Technology for Specifying and Generating Critical Data Processsing Programs

AU - Suhartanto, H.

AU - Prasetya, I.S.W.B.

AU - Widjaja, B.

AU - Stefanus, L. Y.

AU - Azurat, A.

AU - Aminah, S.

AU - Bong, J.

N1 - AGi.overview.QIR05

PY - 2005

Y1 - 2005

KW - Wiskunde en Informatica (WIIN)

M3 - Conference contribution

BT - Proceedings of 8th International Conference on Quality of Research

ER -