Decomposition of functionality: a correctness-preserving LOTOS transformation

Research output

Research output per year 1990 1990 1990

• 1 Report

Research output per year

Research output per year

Search results

• 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