PROCEDE EN VUE DE LA SEPARATION DU NICKEL ET (OU) DU COBALT A PARTIR DU MANGANESE DANS DES SOLUTIONS AQUEUSESROEVER W.1975; ; S.L.; DA. 1975; DE L'ALLEM.: BREVET NO 2151893, 10 MAI 1973; 6 PMiscellaneous

A proof system for concurrent ADA programsGERTH, R; DE ROEVER, W. P.Science of computer programming. 1984, Vol 4, Num 2, pp 159-204, issn 0167-6423Article

Towards a practitioners' approach to Abadi and Lamport's methodENGELHARDT, K; DE ROEVER, W.-P.Formal aspects of computing. 1995, Vol 7, Num 5, pp 550-575, issn 0934-5043Article

Current trends in concurrency: overviews and tutorialsDE BAKKER, J. W; DE ROEVER, W.-P; ROZENBERG, G et al.Lecture notes in computer science. 1986, Vol 224, issn 0302-9743, XII-716 pArticle

Program derivation through transformations: the evolution of list-copying algorithmsVAN DIEPEN, N. W. P; DE ROEVER, W. P; SINTZOFF, M et al.Science of computer programming. 1986, Vol 6, Num 3, pp 213-272, issn 0167-6423Article

A proof rule for fair termination of guarded commandsGRUMBERG, O; FRANCEZ, N; MAKOWSKY, J. A et al.Information and control. 1985, Vol 66, Num 1-2, pp 83-102, issn 0019-9958Article

A dense-time Temporal Logic with nice Compositionality PropertiesCAU, A; DE ROEVER, W.-P.EUROCAST '97International conference on computer aided systems theory and technology. 1997, pp 71-72, isbn 84-88912-04-8Conference Paper

Hoare-style compositional proof systems for reactive shared variable concurrencyDE BOER, F. S; HANNEMANN, U; DE ROEVER, W.-P et al.Lecture notes in computer science. 1997, pp 267-283, issn 0302-9743, isbn 3-540-63876-8Conference Paper

A compositional axiomatization of statechartsHOOMAN, J. J. M; RAMESH, S; DE ROEVER, W. P et al.Theoretical computer science. 1992, Vol 101, Num 2, pp 289-335, issn 0304-3975Conference Paper

The semantic foundations of a compositional proof method for synchronously communicating processesDE BOER, F. S; DE ROEVER, W.-P; HANNEMANN, U et al.Lecture notes in computer science. 1999, pp 343-353, issn 0302-9743, isbn 3-540-66408-4Conference Paper

Compositional proof methods for concurrency : A semantic approachDE BOER, F. S; DE ROEVER, W.-P.Lecture notes in computer science. 1998, pp 632-646, issn 0302-9743, isbn 3-540-65493-3Conference Paper

Proceedings/School/workshop on linear time, branching time and partial order in logics and models for concurrency, May 30-June 3, 1988, Noordwijkerhout, NLDDE BAKKER, J. W; DE ROEVER, W.-P; ROZENBERG, G et al.Lecture notes in computer science. 1989, Vol 354, issn 0302-9743, VIII-713 pConference Proceedings

A compositional proof system for shared variable concurrencyDE BOER, F. S; HANNEMANN, U; DE ROEVER, W.-P et al.Lecture notes in computer science. 1997, pp 515-532, issn 0302-9743, isbn 3-540-63533-5Conference Paper