![]() | ![]() |
| 1993 | ||
|---|---|---|
| 1 | Motoshi Saeki, Takeshi Hiroi, Takanori Ugai: Reflective Specification: Applying A Reflective Language to Formal Specification. IWSSD 1993: 204-213 | |
| 1 | Motoshi Saeki | [1] |
| 2 | Takanori Ugai | [1] |
Data released under the ODC-BY 1.0 license — See also our legal information page