Verifying scenario-based aspect specifications (2005)
by
Emilia Katz
| Venue: | Proc. Formal Methods(FM2005), LNCS 3582 |
| Citations: | 6 - 2 self |
BibTeX
@INPROCEEDINGS{Katz05verifyingscenario-based,
author = {Emilia Katz},
title = {Verifying scenario-based aspect specifications},
booktitle = {Proc. Formal Methods(FM2005), LNCS 3582},
year = {2005},
pages = {432--447},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The research was done under the supervision of Prof. Shmuel Katz in the department of Computer Science. The generous financial help of the AOSD-EUROPE Network of Excellence is gratefully acknowledged. I wish to express my sincere gratitude to my supervisor, Assoc. Prof. Shmuel Katz,
