Number of items: 2.
Welch, Peter H. and Hilderink, Gerald H. and Bakkers, A.W.P. and Stiles, Gardiner S.
(1999)
Safe and Verifiable Design of Concurrent Programs.
In: Furht, Borko, ed.
Proceedings of the 3rd Annual IASTED International Conference Software Engineering and Applications (SEA'99).
IASTED/ACTA Press, pp. 20-26.
ISBN 0-88986-273-7.
(The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided)
(KAR id:21756)
|
|
This list was generated on Thu Dec 26 02:00:16 2024 GMT.