Special ``TACAS'15 issue

Special ``TACAS'15 issue
Volume 19(6) of International Journal on Software Tools for Technology Transfer, 2017

Details
Bibtex

Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science

@proceedings{BT2017,
  title  = {Special ``TACAS'15'' issue},
  editor = {Christel Baier and Cesare Tinelli},
  series = {International Journal on Software Tools for Technology Transfer},
  volume = {19(6)},
  year   = {2017}
}