%0 Generic %1 Heitmeyer1994 %A Heitmeyer, C. %D 1994 %I Storming Media %K %T The Role of HCI in CASE Tools Supporting Formal Methods

@misc{Heitmeyer1994, added-at = {2010-12-02T00:41:26.000+0100}, author = {Heitmeyer, C.}, biburl = {https://www.bibsonomy.org/bibtex/2384840142fa2d8bd4dbd6ca124efe51f/tasawer}, file = {:e\:\\papers\\heitmeyer1994role.pdf:PDF}, interhash = {889054f461bf1c50d1ea66263ed2206e}, intrahash = {384840142fa2d8bd4dbd6ca124efe51f}, keywords = {}, publisher = {Storming Media}, timestamp = {2010-12-02T00:41:26.000+0100}, title = {The Role of HCI in CASE Tools Supporting Formal Methods}, year = 1994 }