Staff view

You must be logged in to Tag Records
APA Citation

Flanagan, Cormac.König, Barbar. (Eds.) (©2012) Tools and algorithms for the construction and analysis of systems :18th International Conference, TACAS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings Berlin ; Springer,

MLA Citation

Flanagan, Cormac.König, Barbara, eds. Tools And Algorithms For The Construction And Analysis Of Systems: 18th International Conference, TACAS 2012, Held As Part Of The European Joint Conferences On Theory And Practice Of Software, ETAPS 2012, Tallinn, Estonia, March 24-April 1, 2012. Proceedings. Berlin : Springer, ©2012. Print.