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
Contributed to:
Wrote 1 papers:
- DocEng-2009-SchonbergWJF #documentation #verification
- Logic-based verification of technical documentation (CS, FW, MJ, BF), pp. 251–252.