Decomposition of functionality: a correctness-preserving LOTOS transformation

Romanus Langerak

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

1 Report

1 results

Filter

1990

Decomposition of functionality: a correctness-preserving LOTOS transformation
Langerak, R., 1990, Enschede: University of Twente. 14 p. (Memoranda informatica; no. 90-27)
Research output: Book/Report › Report › Professional