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