VIAF

Virtual International Authority File

Search

Back, Ralph-Johan National Library of the Netherlands Sudoc [ABES], France National Library of France Library of Congress/NACO

Back, Ralph J. ISNI

VIAF ID: 10022711 (Personal)

Permalink: http://viaf.org/viaf/10022711

ISNI: 0000  0000  3251  4293 

Open Section Close Section Preferred Forms

 

 

 

 

Open Section Close Section 4xx's: Alternate Name Forms (1)

Open Section Close SectionWorks

Title Sources
Correctness preserving program refinements proof theory and applications Sudoc [ABES], France
Refinement calculus, 1998: Sudoc [ABES], France National Library of France Library of Congress/NACO
Transactions on Computational Systems Biology XI National Library of the Netherlands Sudoc [ABES], France

Open Section Close Section Selected Co-authors

Open Section Close Section Countries of Publication (3)

Open Section Close Section Publication Statistics

Open Section Close Section Selected Publishers (3)

Open Section Close Section About

Open Section Close Section History of VIAF ID:10022711 (29)