Normal view
MARC view
FoVeOOS 2010. (2010 : Paris, France) (Meeting Name)
Machine generated authority record.
Work cat.: ()947118: Formal Verification of Object-Oriented Software, 2011.
