Normal view
MARC view
Petre, Luigia, 1974- (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.