@book{8630,
	author = {Piskac, Ruzica||Whalen, Michael},
	title = {Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design – FMCAD 2021},
	url = {https://library.oapen.org/bitstream/20.500.12657/51064/1/E-Book_Proceedings%20of%20the%2021st%20Conference%20on%20Formal%20Methods%20in%20Computer-Aided%20Design%20%e2%80%93%20FMCAD%202021.pdf||https://library.oapen.org/bitstream/20.500.12657/51064/1/E-Book_Proceedings%20of%20the%2021st%20Conference%20on%20Formal%20Methods%20in%20Computer-Aided%20Design%20%e2%80%93%20FMCAD%202021.pdf}
}