DMCA

Proving the correctness of reactive systems using sized types (1996)

by John Hughes , Lars Pareto , Amr Sabry
Citations:148 - 3 self