Symbolic Simulation with Approximate Values

Institute for Software Research