Gillian Hill. A Logical Approach to System Construction. In Franz Pichler, Roberto Moreno-Díaz, Rudolf F. Albrecht, editors, Computer Aided Systems Theory - EUROCAST 95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings. Volume 1030 of Lecture Notes in Computer Science, pages 30-47, Springer, 1995.
@inproceedings{Hill95,
title = {A Logical Approach to System Construction},
author = {Gillian Hill},
year = {1995},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/Hill95},
cites = {0},
citedby = {0},
pages = {30-47},
booktitle = {Computer Aided Systems Theory - EUROCAST 95, A Selection of Papers from the Fifth International Workshop on Computer Aided Systems Theory, Innsbruck, Austria, May 22-25, 1995, Proceedings},
editor = {Franz Pichler and Roberto Moreno-Díaz and Rudolf F. Albrecht},
volume = {1030},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-60748-X},
}