Menu
Home
Help and information
About this website
Privacy Policy
Peter H. J. van Eijk
1 published title
The Formal description technique Lotos : results of the ESPRIT/SEDOS Project
(Contributor)
1 edition
ISBN: 0444872671
North-Holland
1989
Details