%0 Journal Article %1 journals/sigchi/JohnsonH94 %A Johnson, Christopher %A Harrison, Michael %D 1994 %J ACM SIGCHI Bull. %K dblp %N 2 %P 46-47 %T Software engineering for human computer interaction: papers from a workshop on formal methods for the design of interactive systems, York, UK, 23rd July 1993. %U http://dblp.uni-trier.de/db/journals/sigchi/sigchi26.html#JohnsonH94 %V 26

@article{journals/sigchi/JohnsonH94, added-at = {2021-06-18T00:00:00.000+0200}, author = {Johnson, Christopher and Harrison, Michael}, biburl = {https://www.bibsonomy.org/bibtex/29548fdfb8ed08bdbe05a90d7e6f20ebe/dblp}, ee = {https://doi.org/10.1145/198125.198140}, interhash = {e0e8df8a3827109288b352ad125f45ea}, intrahash = {9548fdfb8ed08bdbe05a90d7e6f20ebe}, journal = {ACM SIGCHI Bull.}, keywords = {dblp}, number = 2, pages = {46-47}, timestamp = {2024-04-08T15:25:06.000+0200}, title = {Software engineering for human computer interaction: papers from a workshop on formal methods for the design of interactive systems, York, UK, 23rd July 1993.}, url = {http://dblp.uni-trier.de/db/journals/sigchi/sigchi26.html#JohnsonH94}, volume = 26, year = 1994 }