Step-wise Refinement Design Example Using LOTOS

L.F. Pires, W.L. de Souza

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

1 Report

1 results

1990

Step-wise Refinement Design Example Using LOTOS
Ferreira Pires, L. & Lopes de Souza, W., 1990, Enschede: University of Twente. 18 p. (Memoranda informatica; no. 90-55)
Research output: Book/Report › Report › Professional