Jacques Loeckx
6 publications
1 venues
H Index 1
Links
| Name | Venue | Year | citations |
|---|---|---|---|
Verification in OBSCURE.
|
ADT | 1988 | 1 |
| The Specification Language of OBSCURE.
|
ADT | 1987 | 0 |
| The Specification Language OBSCURE.
|
ADT | 1986 | 0 |
| OBSCURE, A New Specification Language.
|
ADT | 1984 | 2 |
| Program Verification with fewer Tears.
|
ADT | 1983 | 1 |
| The Description of Programming Languages and the Verification of their Compilers with the Help of Algorithmic Specifications of Abstract Data Types.
|
ADT | 1982 | 1 |