%0 Conference Paper %1 conf/acse/BrodaEK96 %A Broda, Krysia %A Eisenbach, Susan %A Kamara, Lloyd Daniel %B ACSE %D 1996 %E Fekete, Alan %E Rosenberg, John %I ACM %K dblp %P 119-126 %T Tool support for informal deduction. %U http://dblp.uni-trier.de/db/conf/acse/acse1996.html#BrodaEK96 %V 1 %@ 0-89791-845-2

@inproceedings{conf/acse/BrodaEK96, added-at = {2016-08-23T00:00:00.000+0200}, author = {Broda, Krysia and Eisenbach, Susan and Kamara, Lloyd Daniel}, biburl = {https://www.bibsonomy.org/bibtex/2c6be99ffcbd717c562ab8e9698cc3895/dblp}, booktitle = {ACSE}, crossref = {conf/acse/1996}, editor = {Fekete, Alan and Rosenberg, John}, ee = {http://doi.acm.org/10.1145/369585.369604}, interhash = {6a449300e1f30718f6a3addecddc7839}, intrahash = {c6be99ffcbd717c562ab8e9698cc3895}, isbn = {0-89791-845-2}, keywords = {dblp}, pages = {119-126}, publisher = {ACM}, series = {ACM International Conference Proceeding Series}, timestamp = {2016-08-24T17:15:27.000+0200}, title = {Tool support for informal deduction.}, url = {http://dblp.uni-trier.de/db/conf/acse/acse1996.html#BrodaEK96}, volume = 1, year = 1996 }