@inproceedings{35d1c4d2609a4d17b1f575f32f34a52f,
title = "Structured automated code checking through structural components and systems engineering",
keywords = "Conf.proc. > 3 pag",
author = "JL Coenders and A Rolvink",
note = "geen isbn; IASS-SLTE 2014 symposium, Brasilia, Brazil ; Conference date: 15-09-2014 Through 19-09-2014",
year = "2014",
language = "English",
publisher = "s.n.",
pages = "1--7",
editor = "RMLRF Brasil and RMO Pauletti",
booktitle = "Proceedings of the IASS-SLTE 2014 symposium",
}