Original languageUndefined
Title of host publication6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014
EditorsTiziana Margaria, Bernhard Steffen
Place of PublicationBerlin
PublisherSpringer Verlag
Pages535-537
Number of pages3
ISBN (Print)978-3-662-45233-2
DOIs
StatePublished - Oct 2014

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
Volume8802
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Keywords

  • EWI-25144
  • IR-93154
  • METIS-309596

Cite this

Rensink, A. (2014). Forever software. In T. Margaria, & B. Steffen (Eds.), 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014 (pp. 535-537). (Lecture Notes in Computer Science; Vol. 8802). Berlin: Springer Verlag. DOI: 10.1007/978-3-662-45234-9

Rensink, Arend / Forever software.

6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014. ed. / Tiziana Margaria; Bernhard Steffen. Berlin : Springer Verlag, 2014. p. 535-537 (Lecture Notes in Computer Science; Vol. 8802).

Research output: ScientificConference contribution

@inbook{8893ae1e6bcb472fa1a35c08b085867c,
title = "Forever software",
keywords = "EWI-25144, IR-93154, METIS-309596",
author = "Arend Rensink",
note = "Note: This position paper is included in the backmatter of the online LNCS volume",
year = "2014",
month = "10",
doi = "10.1007/978-3-662-45234-9",
isbn = "978-3-662-45233-2",
series = "Lecture Notes in Computer Science",
publisher = "Springer Verlag",
pages = "535--537",
editor = "Tiziana Margaria and Bernhard Steffen",
booktitle = "6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014",

}

Rensink, A 2014, Forever software. in T Margaria & B Steffen (eds), 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014. Lecture Notes in Computer Science, vol. 8802, Springer Verlag, Berlin, pp. 535-537. DOI: 10.1007/978-3-662-45234-9

Forever software. / Rensink, Arend.

6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014. ed. / Tiziana Margaria; Bernhard Steffen. Berlin : Springer Verlag, 2014. p. 535-537 (Lecture Notes in Computer Science; Vol. 8802).

Research output: ScientificConference contribution

TY - CHAP

T1 - Forever software

AU - Rensink,Arend

N1 - Note: This position paper is included in the backmatter of the online LNCS volume

PY - 2014/10

Y1 - 2014/10

KW - EWI-25144

KW - IR-93154

KW - METIS-309596

U2 - 10.1007/978-3-662-45234-9

DO - 10.1007/978-3-662-45234-9

M3 - Conference contribution

SN - 978-3-662-45233-2

T3 - Lecture Notes in Computer Science

SP - 535

EP - 537

BT - 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014

PB - Springer Verlag

ER -

Rensink A. Forever software. In Margaria T, Steffen B, editors, 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISOLA 2014. Berlin: Springer Verlag. 2014. p. 535-537. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/978-3-662-45234-9