Developing certified programs in the system Coq -- The Program tactic (1993)

by C. Parent
Citations:12 - 4 self