%0 Journal Article %1 journals/integration/InoueF98 %A Inoue, Michiko %A Fujiwara, Hideo %D 1998 %J Integr. %K dblp %N 1-2 %P 101-116 %T An approach to test synthesis from higher level. %U http://dblp.uni-trier.de/db/journals/integration/integration26.html#InoueF98 %V 26

@article{journals/integration/InoueF98, added-at = {2020-02-20T00:00:00.000+0100}, author = {Inoue, Michiko and Fujiwara, Hideo}, biburl = {https://www.bibsonomy.org/bibtex/2bac58c80606194274f96276e8bac4b43/dblp}, ee = {https://doi.org/10.1016/S0167-9260(98)00023-6}, interhash = {43930c89210b958633c65bdda7ced5d9}, intrahash = {bac58c80606194274f96276e8bac4b43}, journal = {Integr.}, keywords = {dblp}, number = {1-2}, pages = {101-116}, timestamp = {2020-02-21T11:54:28.000+0100}, title = {An approach to test synthesis from higher level.}, url = {http://dblp.uni-trier.de/db/journals/integration/integration26.html#InoueF98}, volume = 26, year = 1998 }