Evolving Specification Engineering
Dusko Pavlovic, Peter Pepper and Douglas R. Smith infobook 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 |
links
BibTeX
Link (pdf)
related pages
|
