On the Integration of Software Testing and Formal Analysis (bibtex)
by Pietro Braione, Giovanni Denaro, Mauro Pezzè
Reference:
On the Integration of Software Testing and Formal Analysis Pietro Braione, Giovanni Denaro, Mauro PezzèIn LASER Summer School, 2010
Bibtex Entry:
@string{star="STAR"}
@inproceedings{Braione:summerschool:LASER:2010,
  groups = STAR,
  Author = {Pietro Braione and Giovanni Denaro and Mauro
                  Pezz{\`e}},
  Booktitle = {LASER Summer School},
  Pages = {158-193},
  Title = {On the Integration of Software Testing and Formal
                  Analysis},
  Year = 2010
}
Powered by bibtexbrowser