Inproceedings,
Symbolic implication in test generation.
S. Kundu, I. Nair, L. Huisman, and V. Iyengar.EURO-DAC, page 492-496. EEE Computer Society, (1991)
Meta data
- BibTeX key
- conf/eurodac/KunduNHI91
- entry type
- inproceedings
- booktitle
- EURO-DAC
- year
- 1991
- pages
- 492-496
- publisher
- EEE Computer Society
- crossref
- conf/eurodac/1991
- ee
- http://dl.acm.org/citation.cfm?id=951621
- isbn
- 0-8186-2130-3
- url
- http://dblp.uni-trier.de/db/conf/eurodac/euro-dac1991.html#KunduNHI91
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
}