2 nd  International Workshop on Formal Methods for Interactive Systems

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.

Header Abstract Content Author and article information Comments

Record: found
Abstract: found
Conference Proceedings: found

Is Open Access

2 ^nd International Workshop on Formal Methods for Interactive Systems

Published

proceedings-article

Author(s): Paul Curzon , Antonio Cerone

Publication date (Print): September 2007

Conference name: Proceedings of HCI 2007 The 21st British HCI Group Annual Conference University of Lancaster, UK (HCI)

Conference theme: British HCI Group Annual Conference

Conference date: 3 - 7 September 2007

Keywords:

Bookmark

Abstract

Content

Author and article information

Contributors

Paul Curzon

Antonio Cerone

Conference

Publication date: September 2007

Publication date (Print): September 2007

Pages: 1-2

Affiliations

[0001]Department of Computer Science, Queen Mary,

University of London

Mile End

London, UK. E1 4NS

+44 20 7882 5212

[0002]Int. Inst. for Software Technology, United Nations

University

Macau SAR China

Article

DOI: 10.14236/ewic/HCI2007.91

SO-VID: 82e434f4-a03e-4af2-8c39-5416d07293e4

License:

This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Conference name: Proceedings of HCI 2007 The 21st British HCI Group Annual Conference University of Lancaster, UK

Conference acronym: HCI

Conference number: 21

Conference location: Lancaster, UK

Conference date: 3 - 7 September 2007

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: British HCI Group Annual Conference

History

Product

1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/HCI2007.91

Self URI (journal page): https://ewic.bcs.org/

UK Computing Summit 2025: Navigating change (surviving and beyond) - 29-30 April @ Sheffield Hallam University - Register here.