On Modeling and Programming

Neil D. Jones

doi:10.1007/978-3-030-03418-4_2

On Modeling and Programming

Neil D. Jones

Datalogisk Institut

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

1 Citationer (Scopus)

Originalsprog	Engelsk
Titel	Leveraging Applications of Formal Methods, Verification and Validation. Modeling : 8th International Symposium, ISoLA 2018 Limassol, Cyprus, November 5–9, 2018 Proceedings
Redaktører	Tiziana Margaria, Bernhard Steffen
Vol/bind	1 (Modeling)
Forlag	Springer
Publikationsdato	2018
Sider	22-34
ISBN (Trykt)	978-3-030-03417-7
ISBN (Elektronisk)	978-3-030-03418-4
DOI	https://doi.org/10.1007/978-3-030-03418-4_2
Status	Udgivet - 2018
Begivenhed	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation - Limassol, Cypern Varighed: 5 nov. 2018 → 9 nov. 2018

Konference

Konference	8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Land/Område	Cypern
By	Limassol
Periode	05/11/2018 → 09/11/2018

Navn	Lecture Notes in Computer Science
Vol/bind	11244
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-030-03418-4_2

Citationsformater

On Modeling and Programming. / Jones, Neil D.
Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018 Limassol, Cyprus, November 5–9, 2018 Proceedings. red. / Tiziana Margaria; Bernhard Steffen. Bind 1 (Modeling) Springer, 2018. s. 22-34 (Lecture Notes in Computer Science, Bind 11244).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Jones, ND 2018, On Modeling and Programming. i T Margaria & B Steffen (red), Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018 Limassol, Cyprus, November 5–9, 2018 Proceedings. bind 1 (Modeling), Springer, Lecture Notes in Computer Science, bind 11244, s. 22-34, 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Limassol, Cypern, 05/11/2018. https://doi.org/10.1007/978-3-030-03418-4_2

Jones ND. On Modeling and Programming. I Margaria T, Steffen B, red., Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018 Limassol, Cyprus, November 5–9, 2018 Proceedings. Bind 1 (Modeling). Springer. 2018. s. 22-34. (Lecture Notes in Computer Science, Bind 11244). doi: 10.1007/978-3-030-03418-4_2

@inproceedings{2a62c1aec2854946ab90b7b05e8fa832,

title = "On Modeling and Programming",

author = "Jones, {Neil D.}",

year = "2018",

doi = "10.1007/978-3-030-03418-4_2",

language = "English",

isbn = "978-3-030-03417-7",

volume = "1 (Modeling)",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "22--34",

editor = "Margaria, {Tiziana } and Steffen, {Bernhard }",

booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Modeling",

address = "Switzerland",

note = "8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018 ; Conference date: 05-11-2018 Through 09-11-2018",

}

TY - GEN

T1 - On Modeling and Programming

AU - Jones, Neil D.

PY - 2018

Y1 - 2018

U2 - 10.1007/978-3-030-03418-4_2

DO - 10.1007/978-3-030-03418-4_2

M3 - Article in proceedings

SN - 978-3-030-03417-7

VL - 1 (Modeling)

T3 - Lecture Notes in Computer Science

SP - 22

EP - 34

BT - Leveraging Applications of Formal Methods, Verification and Validation. Modeling

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

T2 - 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Y2 - 5 November 2018 through 9 November 2018

ER -