Rodney W. Topor

• Interactive program verification using virtual programs