Sciweavers

ESOP
2000
Springer

On the Translation of Procedures to Finite Machines

13 years 8 months ago
On the Translation of Procedures to Finite Machines
Markus Müller-Olm, Andreas Wolf
Added 24 Aug 2010
Updated 24 Aug 2010
Type Conference
Year 2000
Where ESOP
Authors Markus Müller-Olm, Andreas Wolf
Comments (0)