Evolving specification engineering

Dusko Pavlovic, Peter Pepper, Douglas R. Smith

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag

Access to Document

@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",

}