You are here

Invited talk at 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011)

Tue, 11/29/2011 - 11:42 — projectmember

The HATS project delivered an invited talk titled 'Modelling Distributed Adaptable Object Oriented Systems using HATS Approach: A Fredhopper Case Study' at 2nd International Conference on Formal Verification of Object-Oriented Software, which took place in Turin, Italy during October 5-7, 2011.