Go home now Header Background Image
Submission Procedure
share: |
Follow us

Luca Mearelli
Università di Pisa, Italy

E. Börger, L. Mearelli:
Integrating ASMs into the Software Development Life Cycle
page 603 - 665
Vol.3 / Issue 5
L. Mearelli:
Refining an ASM Specification of the Production Cell to C++ Code
page 666 - 688
Vol.3 / Issue 5