Cydney Minkowitz. Formal Specification for Design Diversity: Two Case Histories, One Approach. In Mirjana Ivanovic, Bernhard Thalheim, Barbara Catania, Zoran Budimac, editors, Local Proceedings of the Fourteenth East-European Conference on Advances in Databases and Information Systems, Novi Sad, Serbia, September 20-24, 2010. Volume 639 of CEUR Workshop Proceedings, pages 41-60, CEUR-WS.org, 2010. [doi]
@inproceedings{Minkowitz10,
title = {Formal Specification for Design Diversity: Two Case Histories, One Approach},
author = {Cydney Minkowitz},
year = {2010},
url = {http://ceur-ws.org/Vol-639/041-minkowitz.pdf},
researchr = {https://researchr.org/publication/Minkowitz10},
cites = {0},
citedby = {0},
pages = {41-60},
booktitle = {Local Proceedings of the Fourteenth East-European Conference on Advances in Databases and Information Systems, Novi Sad, Serbia, September 20-24, 2010},
editor = {Mirjana Ivanovic and Bernhard Thalheim and Barbara Catania and Zoran Budimac},
volume = {639},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}