Towards Reliable Component Software: Light-weight Formalism

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageUndefined/Unknown
Title of host publicationProceedings of 8th International Conference on Quality of Research
Publication statusPublished - 2005

Bibliographical note

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

Keywords

  • Wiskunde en Informatica (WIIN)

Cite this