PROGRESS publications

Abstract

BibTeX entry

@article{Kienle_2440:2011,
   author = {Holger Kienle and Johan Kraft and Thomas Nolte},
   title = {System-Specific Static Code Analyses: A Case Study in the Complex Embedded Systems Domain},
   journal = {Software Quality Journal},
   month = {April},
   year = {2011},
   publisher = {Springer},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2440},
}