TitleModelling Hardware Verification Concerns Specified in the e Language: An Experience Report
Publication TypeConference Paper
Year of Publication2009
AuthorsGalpin D, Driver C, Clarke S
Conference NameProceedings 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 Published2009
URLhttp://hdl.handle.net/10344/2092