Research output per year
Research output per year
| Original language | English |
|---|---|
| Place of Publication | Enschede |
| Publisher | University of Twente |
| Number of pages | 18 |
| Publication status | Published - 1990 |
Publication series
| Name | Memoranda informatica |
|---|---|
| Publisher | Universiteit Twente, Faculteit Informatica |
| No. | 90-55 |
| ISSN (Print) | 0924-3755 |
-
Step-wise refinement design example using LOTOS
Pires, L. F. & de Souza, W. L., 1991, Formal Description Techniques III. Amsterdam: North Holland, p. 255-262 8 p.Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
-
Step-wise Refinement Design Example Using LOTOS
Pires, L. F. & de Souza, W. L., 1 Nov 1990, FORTE'90. Madrid, p. 289-306 18 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review