Towards Reliable Component Software: Light-weight Formalism

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.ade.QIR05
2nd Int. Workshop on Logic and Communication in Multi-Agent Systems

Keywords

@inproceedings{1010e2d6533846d7bc7766550f46eb64,

title = "Towards Reliable Component Software: Light-weight Formalism",

keywords = "Wiskunde en Informatica (WIIN)",

author = "A. Azurat and I.S.W.B. Prasetya",

note = "AGi.ade.QIR05 2nd Int. Workshop on Logic and Communication in Multi-Agent Systems",

year = "2005",

language = "Undefined/Unknown",

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

}