Travelled to:1 × Germany
Collaborated with:F.Weitl M.Jaksic B.Freitag
Talks about:document (1) technic (1) verif (1) logic (1) base (1)
Person: Christian Schönberg
 DBLP: Sch=ouml=nberg:Christian
 DBLP: Sch=ouml=nberg:Christian
Contributed to:
Wrote 1 papers:
- DocEng-2009-SchonbergWJF #documentation #verification
- Logic-based verification of technical documentation (CS, FW, MJ, BF), pp. 251–252.












