DDD: A System for Mechanized Digital Design Derivation (1997)

by Steven D. Johnson , Bhaskar Bose
Citations:28 - 10 self