%0 Journal Article %1 journals/iwc/FritzscheM00 %A Fritzsche, Hartmut %A Michel, T. %D 2000 %J Interact. Comput. %K dblp %N 3 %P 209-223 %T Formalization and proof of design guidelines within the scope of testing formally specified electronic product catalogues. %U http://dblp.uni-trier.de/db/journals/iwc/iwc12.html#FritzscheM00 %V 12

@article{journals/iwc/FritzscheM00, added-at = {2020-03-13T00:00:00.000+0100}, author = {Fritzsche, Hartmut and Michel, T.}, biburl = {https://www.bibsonomy.org/bibtex/2e997e3a9055e7881668139a7debeba13/dblp}, ee = {https://doi.org/10.1016/S0953-5438(99)00012-0}, interhash = {a4f5f221d4eeaf9943fc671cd863ff6e}, intrahash = {e997e3a9055e7881668139a7debeba13}, journal = {Interact. Comput.}, keywords = {dblp}, number = 3, pages = {209-223}, timestamp = {2020-03-14T12:08:03.000+0100}, title = {Formalization and proof of design guidelines within the scope of testing formally specified electronic product catalogues.}, url = {http://dblp.uni-trier.de/db/journals/iwc/iwc12.html#FritzscheM00}, volume = 12, year = 2000 }