Original language | English |
---|---|
Publisher | Technische Universiteit Eindhoven |
Publication status | Published - 1996 |
WF231/AvG140: On a method for the formal design of multiprograms
W.H.J. Feijen, A.J.M. Gasteren, van
Research output: Other contribution › Other research output