Peter H. J. van Eijk

1 published title

The Formal description technique Lotos : results of the ESPRIT/SEDOS Project

(Contributor)

1 edition