George Economakos, George K. Papakonstantinou. Language Based Design Verification with Semantic Analysis. In 25th EUROMICRO 99 Conference, Informatics: Theory and Practice for the New Millenium, 8-10 September 1999, Milan, Italy. pages 1268, IEEE Computer Society, 1999. [doi]
Abstract is missing.