Developments in automated verification techniques

Reference

Cormac Flanagan and Barbara König. Developments in automated verification techniques. International Journal on Software Tools for Technology Transfer, 16(2), 2014.

Suggested BibTeX entry:

@article{FK14,
    author = {Cormac Flanagan and Barbara K{\"o}nig},
    journal = {International Journal on Software Tools for Technology Transfer},
    number = {2},
    publisher = {Springer},
    title = {Developments in automated verification techniques},
    volume = {16},
    year = {2014}
}

See link.springer.com ...