Deriving tabular event-based specificati
✍
Renaud De Landtsheer; Emmanuel Letier; Axel van Lamsweerde
📂
Article
📅
2004
🏛
Springer-Verlag
🌐
English
⚖ 373 KB