Skip to main content
Kent Academic Repository

Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping
Jump to: W
Number of items: 1.

W

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 Mon Apr 15 23:32:58 2024 BST.