Evolving specification engineering. / Pavlovic, Dusko; Pepper, Peter; Smith, Douglas R.

Proceedings of AMAST 2008. ed. / Jose Meseguer; Grigore Rosu. Vol. 5140 Springer-Verlag, 2008. p. 299-314 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Evolving specification engineering. / Pavlovic, Dusko; Pepper, Peter; Smith, Douglas R.

Proceedings of AMAST 2008. ed. / Jose Meseguer; Grigore Rosu. Vol. 5140 Springer-Verlag, 2008. p. 299-314 (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Pavlovic, D, Pepper, P & Smith, DR 2008, Evolving specification engineering. in J Meseguer & G Rosu (eds), Proceedings of AMAST 2008. vol. 5140, Lecture Notes in Computer Science, Springer-Verlag, pp. 299-314. <ftp://ftp.kestrel.edu/pub/papers/pavlovic/AMAST08.pdf>

APA

Pavlovic, D., Pepper, P., & Smith, D. R. (2008). Evolving specification engineering. In J. Meseguer, & G. Rosu (Eds.), Proceedings of AMAST 2008 (Vol. 5140, pp. 299-314). (Lecture Notes in Computer Science). Springer-Verlag. ftp://ftp.kestrel.edu/pub/papers/pavlovic/AMAST08.pdf

Vancouver

Pavlovic D, Pepper P, Smith DR. Evolving specification engineering. In Meseguer J, Rosu G, editors, Proceedings of AMAST 2008. Vol. 5140. Springer-Verlag. 2008. p. 299-314. (Lecture Notes in Computer Science).

Author

Pavlovic, Dusko ; Pepper, Peter ; Smith, Douglas R. / Evolving specification engineering. Proceedings of AMAST 2008. editor / Jose Meseguer ; Grigore Rosu. Vol. 5140 Springer-Verlag, 2008. pp. 299-314 (Lecture Notes in Computer Science).

BibTeX

@inproceedings{c21743fe1bda4c57a1fc7645b1e6fe08,
title = "Evolving specification engineering",
author = "Dusko Pavlovic and Peter Pepper and Smith, {Douglas R.}",
year = "2008",
language = "English",
volume = "5140",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag",
pages = "299--314",
editor = "Jose Meseguer and Grigore Rosu",
booktitle = "Proceedings of AMAST 2008",

}

RIS

TY - GEN

T1 - Evolving specification engineering

AU - Pavlovic, Dusko

AU - Pepper, Peter

AU - Smith, Douglas R.

PY - 2008

Y1 - 2008

M3 - Conference contribution

VL - 5140

T3 - Lecture Notes in Computer Science

SP - 299

EP - 314

BT - Proceedings of AMAST 2008

A2 - Meseguer, Jose

A2 - Rosu, Grigore

PB - Springer-Verlag

ER -