Travelled to:1 × Israel
Collaborated with:∅
Talks about:industri (1) challeng (1) practic (1) formal (1) verif (1) tool (1)
Person: F. Erich Marschner
DBLP: Marschner:F=_Erich
Contributed to:
1997Wrote 1 papers:
- CAV-1997-Marschner #challenge #industrial #tool support #verification
- Practical Challenges for Industrial Formal Verification Tools (FEM), pp. 1–2.