Modelling Hardware Verification Concerns Specified in the e Language: An Experience Report
You are here
| Title | Modelling Hardware Verification Concerns Specified in the e Language: An Experience Report |
| Publication Type | Conference Paper |
| Year of Publication | 2009 |
| Authors | Galpin D, Driver C, Clarke S |
| Conference Name | Proceedings of the International Conference on Aspect-Oriented Software Development (AOSD) Industry TrackProceedings of the International Conference on Aspect-Oriented Software Development (AOSD) Industry Track |
| Date Published | 2009 |
| URL | http://hdl.handle.net/10344/2092 |
