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
Original languageEnglish
Title of host publicationProceedings of AMAST 2008
EditorsJose Meseguer, Grigore Rosu
PublisherSpringer-Verlag
Pages299-314
Number of pages16
Volume5140
Publication statusPublished - 2008

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 4714838