%0 Conference Paper %1 conf/eurodac/KunduNHI91 %A Kundu, Sandip %A Nair, Indira %A Huisman, Leendert M. %A Iyengar, Vijay S. %B EURO-DAC %D 1991 %E Ambler, Tony %E Jess, Jochen A. G. %E Man, Hugo De %I EEE Computer Society %K dblp %P 492-496 %T Symbolic implication in test generation. %U http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1991.html#KunduNHI91 %@ 0-8186-2130-3

@inproceedings{conf/eurodac/KunduNHI91, added-at = {2015-11-17T00:00:00.000+0100}, author = {Kundu, Sandip and Nair, Indira and Huisman, Leendert M. and Iyengar, Vijay S.}, biburl = {https://www.bibsonomy.org/bibtex/2fa7e7f1ffe5ba490cc58a9f5fbca73e0/dblp}, booktitle = {EURO-DAC}, crossref = {conf/eurodac/1991}, editor = {Ambler, Tony and Jess, Jochen A. G. and Man, Hugo De}, ee = {http://dl.acm.org/citation.cfm?id=951621}, interhash = {5b31439292ce365753bb6d6e78e5dd26}, intrahash = {fa7e7f1ffe5ba490cc58a9f5fbca73e0}, isbn = {0-8186-2130-3}, keywords = {dblp}, pages = {492-496}, publisher = {EEE Computer Society}, timestamp = {2015-11-18T11:48:58.000+0100}, title = {Symbolic implication in test generation.}, url = {http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1991.html#KunduNHI91}, year = 1991 }