A Non-unified View of Modelling, Specification and Programming

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Standard

A Non-unified View of Modelling, Specification and Programming. / Hallerstede, Stefan; Larsen, Peter Gorm; Fitzgerald, John.

Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Proceedings, Part I. red. / Tiziana Margaria; Bernhard Steffen. Bind I Springer, 2018. s. 52-68 (Lecture Notes in Computer Science, Bind 11244). (Theoretical Computer Science and General Issues, Bind 11244).

Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

Harvard

Hallerstede, S, Larsen, PG & Fitzgerald, J 2018, A Non-unified View of Modelling, Specification and Programming. i T Margaria & B Steffen (red), Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Proceedings, Part I. bind I, Springer, Lecture Notes in Computer Science, bind 11244, Theoretical Computer Science and General Issues, bind 11244, s. 52-68,
ISoLA: International Symposium on Leveraging Applications of Formal Methods 2018
, Limassol, Cypern, 05/11/2018. https://doi.org/10.1007/978-3-030-03418-4_4

APA

Hallerstede, S., Larsen, P. G., & Fitzgerald, J. (2018). A Non-unified View of Modelling, Specification and Programming. I T. Margaria, & B. Steffen (red.), Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Proceedings, Part I (Bind I, s. 52-68). Springer. Lecture Notes in Computer Science, Bind. 11244, Theoretical Computer Science and General Issues, Bind. 11244 https://doi.org/10.1007/978-3-030-03418-4_4

CBE

Hallerstede S, Larsen PG, Fitzgerald J. 2018. A Non-unified View of Modelling, Specification and Programming. Margaria T, Steffen B, red. I Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Proceedings, Part I. Springer. s. 52-68. (Lecture Notes in Computer Science, Bind 11244). (Theoretical Computer Science and General Issues, Bind 11244). https://doi.org/10.1007/978-3-030-03418-4_4

MLA

Hallerstede, Stefan, Peter Gorm Larsen og John Fitzgerald "A Non-unified View of Modelling, Specification and Programming". og Margaria, Tiziana Steffen, Bernhard (red.). Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Proceedings, Part I. Springer. (Lecture Notes in Computer Science, Bind 11244). (Theoretical Computer Science and General Issues, Bind 11244). 2018, 52-68. https://doi.org/10.1007/978-3-030-03418-4_4

Vancouver

Hallerstede S, Larsen PG, Fitzgerald J. A Non-unified View of Modelling, Specification and Programming. I Margaria T, Steffen B, red., Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Proceedings, Part I. Bind I. Springer. 2018. s. 52-68. (Lecture Notes in Computer Science, Bind 11244). (Theoretical Computer Science and General Issues, Bind 11244). https://doi.org/10.1007/978-3-030-03418-4_4

Author

Hallerstede, Stefan ; Larsen, Peter Gorm ; Fitzgerald, John. / A Non-unified View of Modelling, Specification and Programming. Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Proceedings, Part I. red. / Tiziana Margaria ; Bernhard Steffen. Bind I Springer, 2018. s. 52-68 (Lecture Notes in Computer Science, Bind 11244). (Theoretical Computer Science and General Issues, Bind 11244).

Bibtex

@inproceedings{0d823da6c2fa40f481945ede9c456b66,
title = "A Non-unified View of Modelling, Specification and Programming",
author = "Stefan Hallerstede and Larsen, {Peter Gorm} and John Fitzgerald",
year = "2018",
month = "10",
day = "29",
doi = "10.1007/978-3-030-03418-4_4",
language = "English",
isbn = "978-3-030-03417-7",
volume = "I",
pages = "52--68",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "Leveraging Applications of Formal Methods, Verification and Validation. Modeling",
publisher = "Springer",

}

RIS

TY - GEN

T1 - A Non-unified View of Modelling, Specification and Programming

AU - Hallerstede, Stefan

AU - Larsen, Peter Gorm

AU - Fitzgerald, John

PY - 2018/10/29

Y1 - 2018/10/29

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

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

M3 - Article in proceedings

SN - 978-3-030-03417-7

VL - I

SP - 52

EP - 68

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

A2 - Margaria, Tiziana

A2 - Steffen, Bernhard

PB - Springer

ER -