Pradip K. Jha, Steven Barnfield, John B. Weaver, Rudra Mukherjee, Reinaldo A. Bergamaschi. Synthesis of Arrays and Records. In ICCD. pages 614-619, 1999. [doi]
@inproceedings{JhaBWMB99,
title = {Synthesis of Arrays and Records},
author = {Pradip K. Jha and Steven Barnfield and John B. Weaver and Rudra Mukherjee and Reinaldo A. Bergamaschi},
year = {1999},
url = {http://csdl.computer.org/comp/proceedings/iccd/1999/0406/00/04060614abs.htm},
researchr = {https://researchr.org/publication/JhaBWMB99},
cites = {0},
citedby = {0},
pages = {614-619},
booktitle = {ICCD},
}