@inproceedings{2c6145c4715a496fbbd0a174f0139e7d,
title = "Integrating theories and techniques for program modelling, design and verification positioning the research at UNU-IIST in collaborative research on the verified software challenge",
abstract = "This submission presents our understanding of the Grand Challenge and propose an agenda on how we will position our research to contribute to this world-wide collaborative research project.",
author = "Aichernig, \{Bernard K.\} and He Jifeng and Zhiming Liu and Mike Reed",
year = "2008",
doi = "10.1007/978-3-540-69149-5\_31",
language = "英语",
isbn = "9783540691471",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
pages = "291--300",
booktitle = "Verified Software",
note = "1st IFIP TC 2/WG 2.3 Conference on Verified Software: Theories, Tools, Experiments, VSTTE 2005 ; Conference date: 10-10-2005 Through 13-10-2005",
}