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
 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.












