Generic validation of structural content with parametric modules
Chuang, Tyng-RueyVolume:
36
Language:
english
Journal:
ACM SIGPLAN Notices
DOI:
10.1145/507669.507649
Date:
October, 2001
File:
PDF, 221 KB
english, 2001