Travelled to:
1 × France
Collaborated with:
S.Bergman G.Bobok S.Koyfman S.Moran Z.Nevo A.Orni V.Paruthi W.Roesner G.Shurek V.Vuyyuru
Talks about:
industri (1) experi (1) design (1) verif (1) stori (1) level (1)
Person: Walter Kowalski
DBLP: Kowalski:Walter
Contributed to:
Wrote 1 papers:
- DATE-2015-BergmanBKKMNOPR #experience #industrial #verification
- Designer-level verification: an industrial experience story (SB, GB, WK, SK, SM, ZN, AO, VP, WR, GS, VV), pp. 410–411.