Malay K. Ganai, Armin Biere, editors, Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011. Volume 832 of CEUR Workshop Proceedings, CEUR-WS.org, 2011. [doi]
Conference: FMCAD2011
@proceedings{fmcad-2011difts,
title = {Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011},
year = {2011},
url = {http://ceur-ws.org/Vol-832},
researchr = {https://researchr.org/publication/fmcad-2011difts},
cites = {0},
citedby = {0},
booktitle = {Proceedings of the First International Workshop on Design and Implementation of Formal Tools and Systems, Austin, USA, November 3, 2011},
conference = {FMCAD},
editor = {Malay K. Ganai and Armin Biere},
volume = {832},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}