Selected Papers of the Conference ``Tools and Algorithms for the ...
Reference
Cormac Flanagan and Barbara König, editors. Selected Papers of the Conference ``Tools and Algorithms for the Construction and Analysis of Systems'': TACAS 2012, Logical Methods in Computer Science, 2012. Special Issue.
Suggested BibTeX entry:
@proceedings{FK12a,
editor = {Cormac Flanagan and Barbara K{\"o}nig},
note = {Special Issue},
series = {Logical Methods in Computer Science},
title = {Selected Papers of the Conference ``Tools and Algorithms for the Construction and Analysis of Systems'': TACAS 2012},
year = {2012}
}
