This VIAF Cluster has been deleted. It is no longer part of VIAF.
Abrial, Jean-Raymond. | Rigorous Methods for Software Construction and Analysis Essays Dedicated to Egon Börger on the Occasion of His 60th Birthday
VIAF ID: 314676969 ( Unknown Name Type )
Permalink: http://viaf.org/viaf/314676969
Preferred Forms
4xx's: Alternate Name Forms (1)
Selected Titles
Author
:
Abrial, Jean-Raymond.