Lehrstuhl Programmierparadigmen - IPD Snelting

Technischer Bericht: Validierung softwaregesteuerter Messsysteme durch Program Slicing and Contraint Solving

[goldapp96sst]

M. Goldapp, U. Grottker, Gregor Snelting, Validierung softwaregesteuerter Messsysteme durch Program Slicing and Contraint Solving, Technischer Bericht, Berlin, March 1996.

Download

BibTeX

@techreport{goldapp96sst,
  title = {Validierung softwaregesteuerter Messsysteme durch Program Slicing
 and Contraint Solving},
  booktitle = {Statusseminar des BMBF Softwaretechnologie},
  year = {1996},
  month = mar,
  pages = {405--425},
  author = {M. Goldapp and U. Grottker and Gregor Snelting},
  address = {Berlin},
}

Institutsinterne Autoren

Lehrstuhlinhaber
Prof. Gregor Snelting