|||Roope Kaivola and Thomas Wahl, editors. Formal Methods in Computer-Aided Design (FMCAD), Austin, Texas, USA, September 27-30, 2015. IEEE, 2015. [ bib | .pdf ]|
|||Ajitha Rajan and Thomas Wahl, editors. CESAR -- Cost-efficient Methods and Processes for Safety-relevant Embedded Systems. Springer Verlag, 2013. [ bib | http ]|
This file was generated by bibtex2html 1.99.