Formal methods for interactive systems

Antonio Cerone; Paul Curzon

doi:10.1007/s11334-008-0051-6

Formal methods for interactive systems

Antonio Cerone
, Paul Curzon

United Nations
Queen Mary University of London

Research output: Contribution to journal › Editorial › peer-review

2 Citations (Scopus)

Original language	English
Pages (from-to)	123
Number of pages	1
Journal	Innovations in Systems and Software Engineering
Volume	4
Issue number	2
DOIs	https://doi.org/10.1007/s11334-008-0051-6
Publication status	Published - Jun 2008
Externally published	Yes

ASJC Scopus subject areas

Software

Access to Document

10.1007/s11334-008-0051-6

Cite this

@article{cd3b562325b544cb8cb7774ce299454c,

title = "Formal methods for interactive systems",

author = "Antonio Cerone and Paul Curzon",

year = "2008",

month = jun,

doi = "10.1007/s11334-008-0051-6",

language = "English",

volume = "4",

pages = "123",

journal = "Innovations in Systems and Software Engineering",

issn = "1614-5046",

publisher = "Springer London",

number = "2",

}

TY - JOUR

T1 - Formal methods for interactive systems

AU - Cerone, Antonio

AU - Curzon, Paul

PY - 2008/6

Y1 - 2008/6

UR - https://www.scopus.com/pages/publications/44649162472

UR - https://www.scopus.com/pages/publications/44649162472#tab=citedBy

U2 - 10.1007/s11334-008-0051-6

DO - 10.1007/s11334-008-0051-6

M3 - Editorial

AN - SCOPUS:44649162472

SN - 1614-5046

VL - 4

SP - 123

JO - Innovations in Systems and Software Engineering

JF - Innovations in Systems and Software Engineering

IS - 2

ER -

Formal methods for interactive systems

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this