Normal view
MARC view
Sere, K. (Kaisa), 1954- (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Integrated Formal Methods (3rd : 2002 : Turku, Finland) 16532, Integrated formal methods :, ©2002.