Adding Verification Property of Inter-Processes Using Aspect-Oriented Approach.

Pantti Netinianti Tzilla Elrad Adding Verification Property of Inter-Processes Using Aspect-Oriented Approach. 54-60 2003 conf/seke/2003 SEKE db/conf/seke/seke2003.html#NetiniantiE03