Normal view
MARC view
Halbwachs, Nicolas (Personal Name)
Machine generated authority record.
Work cat.: (AT-ISTA): CAV (Conference) (11th : 1999 : Trento, Italy) 25476, Computer Aided Verification :, ©1999.