Logic-based verification of technical documentation.
Christian Schnberg, Franz Weitl, Mirjana Jaksic, Burkhard Freitag
VenueBDocEng
Year2009
ProceedingsACM Symposium on Document Engineering
DBLP recordconf/doceng/SchonbergWJF09 ↗
Browse the full DocEng paper archive.