Normal view
MARC view
Breitman, K. K. (Karin K.) (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Formal Engineering Methods (11th : 2009 : Rio de Janeiro, Brazil) 36962, Formal methods and software engineering :, ©2009.