Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2019

“Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2019” edited by Clark Barrett and Jin Yang, FMCAD Inc.. Oct. 2019.

BibTeX entry:

@proceedings{BY19,
   editor = {Clark Barrett and Jin Yang},
   title = {Proceedings of Formal Methods in Computer-Aided Design, FMCAD
	2019},
   publisher = {FMCAD Inc.},
   address = {San Jose, CA, USA},
   month = oct,
   year = {2019},
   url = {https://hdl.handle.net/2152/79853}
}

(This webpage was created with bibtex2web.)