Evolving specification engineering
Dusko Pavlovic‚ Peter Pepper and Douglas R. Smith
Book Title
Proceedings of AMAST 2008
Editor
Jose Meseguer and Grigore Rosu
Pages
299–314
Publisher
Springer Verlag
Series
Lecture Notes in Computer Science
Volume
5140
Year
2008