Normal view
MARC view
Verifikation (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): International Conference on Integrated Formal Methods (5th : 2005 : Eindhoven, Netherlands) 28306, Integrated formal methods :, ©2005.