Formal Ruby (1990)

by L Rossen
Venue:In J��rgen Staunstrup, editor, Formal Methods for VLSI Design