Patrick O. Bobbie. Automatic, Rapid Generation of Design Prototypes from Logic Specifications. International Journal of Software Engineering and Knowledge Engineering, 1(4):331-350, 1991. [doi]
@article{Bobbie91,
title = {Automatic, Rapid Generation of Design Prototypes from Logic Specifications},
author = {Patrick O. Bobbie},
year = {1991},
doi = {10.1142/S021819409100024X},
url = {http://dx.doi.org/10.1142/S021819409100024X},
tags = {logic, design},
researchr = {https://researchr.org/publication/Bobbie91},
cites = {0},
citedby = {0},
journal = {International Journal of Software Engineering and Knowledge Engineering},
volume = {1},
number = {4},
pages = {331-350},
}