Formal methods: from object-based to object-oriented
ACM SIGPLAN Notices
Communication and Synchronisation Using Interaction Objects
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Journal of Systems and Software
Hi-index | 0.00 |