Normal view
MARC view
Computer programs Reliability Congresses (Topical Term)
Machine generated authority record.
Work cat.: (AT-ISTA): International Workshop on Formal Methods for Industrial Critical Systems (11th : 2006 : Bonn, Germany) 23380, Formal methods :, ©2007.