Title :
Selected papers from the second IFIP Int´l conference on formal methods for open object based distributed systems, 1997
Author :
Bowman, Howard ; Derrick, John ; Brinksma, Ed
Author_Institution :
The University of Kent at Canterbury
fDate :
7/1/2000 12:00:00 AM
Journal_Title :
Software Engineering, IEEE Transactions on
DOI :
10.1109/TSE.2000.859528
