Konferenzartikel: Combining Slicing and Constraint Solving for Validation of Measurement Software

[snelting96sas]

Gregor Snelting, Combining Slicing and Constraint Solving for Validation of Measurement Software, Static Analysis, pp. 332--348, Springer-Verlag London, UK, September 1996.

Download

[DOI]

Original article available at springerlink.com.

BibTeX

@inproceedings{snelting96sas,
  title = {Combining Slicing and Constraint Solving for Validation of Measurement
 Software},
  booktitle = {Static Analysis},
  year = {1996},
  month = sep,
  publisher = {Springer-Verlag London, UK},
  pages = {332--348},
  author = {Gregor Snelting},
  doi = {10.1007/3-540-61739-6_51},
}

Institutsinterne Autoren

Lehrstuhlinhaber
Prof. Gregor Snelting

Projekte

Projekt

VALSOFT/Joana