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 proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | Proceedings of AMAST 2008 |
Editors | Jose Meseguer, Grigore Rosu |
Publisher | Springer-Verlag |
Pages | 299-314 |
Number of pages | 16 |
Volume | 5140 |
Publication status | Published - 2008 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer Verlag |
ID: 4714838