Darren Galpin, Cormac Driver, Siobhán Clarke. Modelling hardware verification concerns specified in the ::::e:::: language: an experience report. In Kevin J. Sullivan, editor, Proceedings of the 8th International Conference on Aspect-Oriented Software Development, AOSD 2009, Charlottesville, Virginia, USA, March 2-6, 2009. pages 207-212, ACM, 2009. [doi]
Abstract is missing.