- CSB - MetaPress - Google - Bing - Yahoo
 | 2002 | |
|---|---|---|
| 7 |      | Richard Jüllig: Formal Methods in Enterprise Computing. ICFEM 2002: 22-23 |
| 1996 | ||
| 6 |  | Richard Jüllig, Yellamraju V. Srinivas, J. Liu: SPECWARE: An Advanced Evironment for the Formal Development of Complex Software Systems. AMAST 1996: 551-554 |
| 1995 | ||
| 5 | | Yellamraju V. Srinivas, Richard Jüllig: Specware: Formal Support for Composing Software. MPC 1995: 399-422 |
| 1993 | ||
| 4 | | Richard Jüllig: Applying Formal Software Synthesis. IEEE Software 10(3): 11-22 (1993) |
| 1986 | ||
| 3 | | Allen Goldberg, C. Cordell Green, Wolfgang Polak, Richard Jüllig: Iteration in the software process. ISPW 1986: 105-108 |
| 1984 | ||
| 2 | | Richard Jüllig, Frank DeRemer: Regular right-part attribute grammars. SIGPLAN Symposium on Compiler Construction 1984: 171-178 |
| 1980 | ||
| 1 | | Frank DeRemer, Richard Jüllig: Tree-affix dendrogrammars for languages and compilers. Semantics-Directed Compiler Generation 1980: 300-319 |
| 1 | Frank DeRemer | [1] [2] |
| 2 | Allen Goldberg | [3] |
| 3 | C. Cordell Green | [3] |
| 4 | J. Liu | [6] |
| 5 | Wolfgang Polak | [3] |
| 6 | Yellamraju V. Srinivas | [5] [6] |